12 Jan 24

git remote set-url origin --push --add user1@repo1
git remote set-url origin --push --add user2@repo2
git remote -v

Then git push will push to user1@repo1, then push to user2@repo2.

by eli 2 years ago

26 Dec 22

This tutorial teaches you how to use repo2html in a post-receive hook to auto-generate HTML representations of bare Git repositories on a remote web server after you git push to them.

by eli 3 years ago

30 Nov 22

enter magit-status > s to stage files > c to commit > C-c C-c to commit changes > p to push

by eli 3 years ago