git

2018

• 10-10 A portable and magic-free way to open Pull Requests from the Command Line

2014

• 05-05 Better Specifications

2013

• 07-10 Recursive read lock acquisitions not allowed in this mode