This simple script can be left running on a machine behind a dynamic IP address. It will push external IP changes to whatever github repo is tracking, so you ought to make its repo private.