Hacker News new | ask | show | jobs
by Evidlo 2171 days ago
Just add another git remote push URL so that your commits are automatically mirrored when you push:

    git remote add origin https://user@gitlab.com/myrepo
    git remote set-url --push --add origin https://user@github.com/myrepo
    git remote set-url --push --add origin https://user@gitlab.com/myrepo