Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

GitHub Porter URIs #555

Merged
merged 10 commits into from
Aug 15, 2024
Merged

GitHub Porter URIs #555

merged 10 commits into from
Aug 15, 2024

Commits on Aug 14, 2024

  1. Get default porter uris from github links

    @vzotova
    vzotova committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    e1933a7 View commit details
    Browse the repository at this point in the history

  2. Updates porter source

    @vzotova
    vzotova committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    a027d7c View commit details
    Browse the repository at this point in the history

  3. apply pr suggestions

    @vzotova
    vzotova committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    e3d336d View commit details
    Browse the repository at this point in the history

  4. Fix lost commit: get porter uris from json

    @vzotova
    vzotova committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    ef5f3f2 View commit details
    Browse the repository at this point in the history

  5. Update packages/shared/src/porter.ts 

    Co-authored-by: piotr-roslaniec <39299780+piotr-roslaniec@users.noreply.github.com>
    @vzotova @piotr-roslaniec
    vzotova and piotr-roslaniec committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    968d4f1 View commit details
    Browse the repository at this point in the history

  6. Minor refactor and better test for porter client

    @vzotova
    vzotova committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    b5d12e8 View commit details
    Browse the repository at this point in the history

  7. Changes error message when porter returns bad answer

    @vzotova
    vzotova committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    565eed4 View commit details
    Browse the repository at this point in the history

  8. Change github branch for porter uris from development to main

    @vzotova
    vzotova committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    ee51b90 View commit details
    Browse the repository at this point in the history

Commits on Aug 15, 2024

  1. If user provided porter URIs then don't use default URIs

    @vzotova
    vzotova committed Aug 15, 2024
    Configuration menu
    Copy the full SHA
    9cad3f4 View commit details
    Browse the repository at this point in the history

  2. apply pr suggestions

    @vzotova
    vzotova committed Aug 15, 2024
    Configuration menu
    Copy the full SHA
    7027418 View commit details
    Browse the repository at this point in the history