information and topics for the Developer Day of Git Merge, Thursday May 9th