top | item 42984462 (no title) rickstanley | 1 year 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. discuss order hn newest No comments yet.
No comments yet.