message no. 178601
Posted by paul424 in #github at 2020-03-26T15:16:16Z
nedbat: What if I choose wrong merge option, would be there still a place to revert that merge ?
Posted by paul424 in #github at 2020-03-26T15:16:16Z