Quick question. After the pull has been submitted… Do I keep the pull updated? Push master into it? Or just when there would be a conflict after an update? As I see that pulls tend to live long and not get merged for a while, until everything is checked, I’m guessing that it could happen that a pull gets out of date.
So, do I keep merging master into it? Or just leave it…?
Also doing a git pull --rebase will apply your changes on top of the latest master which will aid in merging and conflict resolution. If it’s been a while, it’s a very helpful thing for the maintainers.