And if not using git, just fiddle around with a scripting language to automate the update, like check github's release API to see if there was some change betwe

And if not using git, just fiddle around with a scripting language to automate the update, like check github's release API to see if there was some change between your local and the remote version somehow.