search

karlstolley / 535

Course materials for COM535: Instructional Design
http://karlstolley.github.com/535/
1 stars 6 forks source link

Cancel pull request? #29

Open ghost opened 11 years ago

ghost commented 11 years ago

I submitted a pull request from my dev branch onto the main dev branch (instead of master). Karl: do you need to reject this and have me resubmit to the dev branch? Or can you do some magic so that it's merged correctly into the master?

karlstolley commented 11 years ago

You can always close your own pull requests; note also that pull requests are dynamic, so if you submit the request and then add additional commits to the branch you've attached to the request, the request will automatically update with any more commits.

See http://wheningit.tumblr.com/post/32810125420/when-someone-merges-your-pull-request-before-its-ready :-)