-
@ Dr. Hax
2025-02-21 00:10:39
My suggestion would beto learn Git. Then you can use GitLab, GitHub, GitTea, and all the others in one fell swoop. Besides, you'll likely need to learn git at some point anyway.
Here's an example to obtain a copy of the signet client repo.
git clone https://gitlab.hax0rbana.org/signet/signet-client.git
Then, assuming you made an empty repo on Microsoft GitHub with the same repo name, you tell git about that repo and push the code over there with this:
git remote add github git@github.com:yourusername/signet-client.git
git push github trunk
Sometimes git may tell you that you have to run a command differently (e.g. the first time you push to a new repo as oppossed to the way you do so thereafter).
Git can be incredibly complicated, but if you are just doing the basics, it doesn't have to be. If you learn clone, branch, checkout, status, diff, commit and push, you'll be able to do nearly everything. There are other commands like tag, rebase, and remote, but they are seldom used.