Prevent users from selecting "HEAD" as a remote branch target.
commit0009e8ecd3f9bdc00b61a2c5f508157f2eaea2a3
authorDavid Aguilar <davvid@gmail.com>
Fri, 4 Jan 2008 12:12:25 +0000 (4 04:12 -0800)
committerDavid Aguilar <davvid@gmail.com>
Fri, 4 Jan 2008 12:12:25 +0000 (4 04:12 -0800)
tree9e923cf72e04cb28ec235ae494bb121dcfc56146
parent6ecc99d4c22063806ce1b95c1f0f4a057c5696e3
Prevent users from selecting "HEAD" as a remote branch target.

We should never push to HEAD, so prevent selecting it in the push gui.

Signed-off by: David Aguilar <davvid@gmail.com>
ugitlibs/pushcontroller.py