Add script for keeping github-based repos up to date
Merge remote branch 'upstream/master'