information and topics for the User Day of Git Merge, Friday May 10th