Doh\! git add; edit source; git commit. And repo doesn\'t have the source I wanted\!