Trying a commit through the Github web interface