chkexamp updates
better git push default