message no. 115972
Posted by halabund in #github at 2015-10-13T08:58:32Z
Another question: Is it okay to delete the branch used for a pull request after the pull request is merged? Is there any reason to keep it?
Posted by halabund in #github at 2015-10-13T08:58:32Z