Pull Request (Challenge Interrupts) #92
Answered
by
TheAlbertDev
JordiiQueralto
asked this question in
Troubleshooting
Answered by
TheAlbertDev
Feb 26, 2026
Replies: 1 comment
|
I see that the branch is named Once the issue is closed after being resolved, you will be able to update your repository by following the instructions in the main README. Meanwhile, to change the branch name, run the following commands in your local repository: git switch challenge
git git branch -m arduino-challenge
git push -u origin arduino-challenge
git push origin --delete challengeYou close the current Pull Request and create a new one with the new branch. Sorry for the inconvenience.
|
0 replies
Answer selected by
JordiiQueralto
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment

I see that the branch is named
challengeand it should bearduino-challenge. It is incorrect in the repository documentation. Please create an issue to report the error and correct it.Once the issue is closed after being resolved, you will be able to update your repository by following the instructions in the main README.
Meanwhile, to change the branch name, run the following commands in your local repository:
You close the current Pull Request and create a new one with the new branch.
Sorry for the inconvenience.