Skip to content

Add new origin to the agent #850

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
Merged
merged 1 commit into from
Nov 6, 2023
Merged

Add new origin to the agent #850

merged 1 commit into from
Nov 6, 2023

Conversation

umbynos
Copy link
Contributor

@umbynos umbynos commented Nov 6, 2023

Please check if the PR fulfills these requirements

  • The PR has no duplicates (please search among the Pull Requests
    before creating one)
  • Tests for the changes have been added (for bug fixes / features)
  • What kind of change does this PR introduce?

New origin

  • What is the current behavior?

The agent does not work on https://app.arduino.cc/

  • What is the new behavior?

The agent works on https://app.arduino.cc/

  • Does this PR introduce a breaking change?
  • Other information:

@umbynos umbynos added the type: enhancement Proposed improvement label Nov 6, 2023
@umbynos umbynos self-assigned this Nov 6, 2023
@umbynos umbynos merged commit 9358518 into main Nov 6, 2023
@umbynos umbynos deleted the new-origin branch November 6, 2023 12:23
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@lukdog lukdog lukdog approved these changes

@davegarthsimpson davegarthsimpson Awaiting requested review from davegarthsimpson

Assignees

@umbynos umbynos

Labels

type: enhancement Proposed improvement

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@umbynos @lukdog