3 ms·
There's also integration with GitHub pull requests for that: https://github.com/google/git-pull-request-mirror https://github.com/google/git-pull-request-mirro
by procrastitron 11y ago
There's also integration with GitHub pull requests for that:
https://github.com/google/git-pull-request-mirror https://github.com/google/git-pull-request-mirror