3 ms·
There's no git command to ignore it, the main repo should merge their changes and then the other person can make a PR on the updated changes.
by cercatrova 4y ago
There's no git command to ignore it, the main repo should merge their changes and then the other person can make a PR on the updated changes.
- NHQ 4y agoWhere are PRs in Git?