message no. 172760
Posted by rafasc in #github at 2019-05-30T18:51:40Z
You could also merge everyone individually. The main difference is how the history would be recorded.
Posted by rafasc in #github at 2019-05-30T18:51:40Z