fixing whatever the github app did :)