+[2015-08-31T22:24:50Z]cyrus_mcideally development stays around for ever. You develop a new feature, merge it into production when tested and then continue to develop +[2015-08-31T22:24:59Z]tobiasvlall right. that's fine too +[2015-08-31T22:27:57Z]tobiasvlcyrus_mc: what you do after you've merged the pull request, when you want to do new work on development, you do "git rebase master" +[2015-08-31T22:28:17Z]tobiasvland voila, you're not behind anymore. you integrate the production branch's merge commit into development +[2015-08-31T22:28:23Z]cyrus_mck
Zarthus: I think you are right about the fact that I may have to watch a specific repository to see commits being made to it in my home page.
+[2015-09-01T01:55:56Z]fahadashCan I modify an existing PR by adding a few newer commits to it? +[2015-09-01T01:58:28Z]thibaultchafahadash Just push to the same branch +[2015-09-01T01:58:35Z]fahadashI just noticed +[2015-09-01T01:58:38Z]fahadashGithub is amazing +[2015-09-01T06:14:07Z]VxJasonxVthibaultcha: it's better to encourage branching