Closed neuromusic closed 8 years ago
if you push the changes to origin (or on the gui, if you sync w/ github), then the pull request will recognize the changes
this is one of the beautiful parts of the pull request mechanism
all of this is recorded in the pull request
found @neurologic's question inline in the readme. moving it here.