If the GitHub share was public and if there wasn't great difference to the current version, then you're right. Good luck with future projects then!
