|
||||||||
|
This message is automatically generated by JIRA. If you think it was sent incorrectly, please contact your JIRA administrators For more information on JIRA, see: http://www.atlassian.com/software/jira |
||||||||
|
||||||||
|
This message is automatically generated by JIRA. If you think it was sent incorrectly, please contact your JIRA administrators For more information on JIRA, see: http://www.atlassian.com/software/jira |
||||||||
I'm a bit confused, or ignorant of githubs workings. My fork states that I closed a pull request, but I most certainly did not. This event occured ~10 hours ago. The pull was not closed as a result of a merge as the master has no record or the change. Should I pull request again or did I misunderstand the process?