Completed
Push — update/pull-request-docs ( d85d1b...5039f1 )
by Jeremy
296:37 queued 285:45
created

No notable changes

There were no notable changes in the changeset which was inspected.

5.47
▶   ± 0
Head
Brad Jorsch  
Always prefer force with lease
1 more commit
Base
Jeremy Herve  
Update docs/pull-request.md