Hacker News new | ask | show | jobs
by rickstanley 493 days ago
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.