Oops, dropped the 'git push origin' command.
commit24e8120f930f4ce6e58f26835a4fbba8be66b9a3
authorKeith Packard <keithp@neko.keithp.com>
Fri, 20 Apr 2007 15:25:10 +0000 (20 08:25 -0700)
committerKeith Packard <keithp@neko.keithp.com>
Fri, 20 Apr 2007 15:25:10 +0000 (20 08:25 -0700)
treec9f98279e72b93c62a616ed864a69141496f9dbb
parentae9b5f5a0d9cd93b670c1bd054c05e2c72974110
Oops, dropped the 'git push origin' command.

Without git-push origin, the head of current development isn't updated on
the remote repository, even as the tags are correctly updated.
release.sh