Github unable to reopen a closed pull request
Posted by Jason Noble on 09/11/2012 in Uncategorized | ∞
Ran into an interesting issue at work today. My pair (Dave) and I opened a pull request yesterday and I checked the status this morning. It showed that Dave had closed it this morning. I asked him if he had intended to merge it, and he said he hadn’t closed it. The weird thing was […]