sherin
09/26/2024, 3:10 PMTim Edwards
09/26/2024, 5:02 PMAnton Maurovic (efabless support)
09/27/2024, 8:09 PMAnton Maurovic (efabless support)
09/27/2024, 8:09 PMAnton Maurovic (efabless support)
09/27/2024, 8:17 PMgit remote add ef-repo <ssh://git@repositories.efabless.com/YOUR_USERNAME/YOUR_REPO_NAME.git>
git push -u ef-repo main --force
So, copy each of those commands individually as your Efabless repo web page presents them (i.e. don't copy them from my example above), and run then one after the other. The first command configures your local git repo to recognize that it can push to a new remote server called (in this case) "ef-repo"; that's just a convenient alias. The second command will push your local repo's main
branch to your server repo's main
branch, and it will --force
it.
Let us know when you've completed your initial push -- and tell us the repositories.efabless.com URL of your repo -- as it will allow us to reconcile this and close the loop.
Please also note the following:
• If your own local branch that you want to push (i.e. run git branch
and see what it says) is NOT already called main
then an extra decision/step might be required. Let me know if this applies to you.
• When doing the final "git push ..." command, you might see an error message reported, but hopefully it should still complete successfully despite this, and then you can refresh the repo web page on our server and go to the "Commits" link to see that your latest commit is, in fact, on our server.Anton Maurovic (efabless support)
09/27/2024, 8:20 PMgit push
command in future, it will push to our server by default (ef-repo
). This can be changed, but you can also just explicitly say git push ef-repo
to push to us or (typically) git push *origin*
to push to GitHub.Anton Maurovic (efabless support)
09/27/2024, 8:24 PMAnton Maurovic (efabless support)
09/27/2024, 8:24 PMsherin
09/28/2024, 10:21 AM