message no. 179399
Posted by kylewdonaldson in #github at 2020-04-17T14:02:43Z
If a pull request is merged on GitHub, what tool is used to perform the diff and merge operations? I am using git for Twincat files and they apparently need the Twincat Project compare tool specifically used for diff and merge operations.