Scripts to manage GitHub Issues and merging