Add de facto GitHub issue tickets to already-existing commits