I just noticed that there is now and "Update Branch" button on PRs that won't merge cleanly with the master branch. It creates a merge commit to bring the feature branch up-to-date. This is a nice easy way for our contributors to navigate this process. They'll of course have to pull from the branch to get synced locally afterwards but it could be a good idea to encourage the use of this button. FYI
https://github.com/blog/2051-protected-branches-and-required-status-checks Jason moorepants.info +01 530-601-9791 -- You received this message because you are subscribed to the Google Groups "sympy" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/sympy. To view this discussion on the web visit https://groups.google.com/d/msgid/sympy/CAP7f1Agch41%2BSqJ-piSVDo2_m_NbY8HO-UYN3YihOFrrp7jeqg%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
