This might be something Github can do for you manually. I've requested similar things before through support email as one-off fixes, and they were able to accom

This might be something Github can do for you manually. I've requested similar things before through support email as one-off fixes, and they were able to accommodate.