Git merge, gather, local_tickets
Merge github.com:sagemath/sage-workflow