AG: get github to update version number!