Glossary GitHub / Term
The action of fixing up manually what a failed automatic merge left behind.
Permanent link resolve - Creation date 2023-08-02