@Rafael Oliveira for now I suggest this workaround:
• Create a new project on the shuttle -- this will create a new repo, and hence you'll get the URL for it. Copy the URL (just the part which matches the pattern:
<http://repositories.efabless.com/YourUsername/YourRepoName|repositories.efabless.com/YourUsername/YourRepoName>
)
• In your existing local repo, make sure you are on your
top-integration
branch already, and you're happy with its state.
• Run:
git remote add ef-new <ssh://git>@_<http://repositories.efabless.com/|repositories.efabless.com/>*YourUsername*/*YourRepoName*_
• Then run:
git push ef-new top-integration:main --force
and this should force-push
specifically your local
top-integration
branch into the
main
branch of the new repo.
• Expect (as usual) you will see a "remote: ERROR" message but it should still complete successfully with (I think) a final output line that includes "`top-integration -> main`"
• Refresh your new repo web browser page, and hopefully you'll see your data in there, see that it is what our server calls the
main
branch, and should hopefully have the same latest commit that your local
top-integration
repo has.
Each time you need to push after that, you will need to execute this (slightly shorter) command in full:
git push ef-new top-integration:main
Note that this does not prevent you from (now or later) still doing a regular
git push
to whatever your default upstream is, if you want to.
