message no. 111420
Posted by crystal77 in #github at 2015-09-10T21:08:12Z
Just merged a branch into master from a PR. Usually there is a delete branch button, but it isn' there. Did the UI change? :)
Posted by crystal77 in #github at 2015-09-10T21:08:12Z