Add simple API for changing HEAD of a repository
authorMarcin Kulik <m@ku1ik.com>
Tue, 1 Jul 2014 11:49:49 +0000 (13:49 +0200)
committerMarcin Kulik <m@ku1ik.com>
Tue, 1 Jul 2014 11:49:49 +0000 (13:49 +0200)
commit3d0e876e4c06bd48e99cc71de527aa47527c9f43
tree143be6c19c1e249bc7e5358ebb62d84814b747d1
parentb6d5f6c9a1376340b49f30bda31b3bb39d6a7474
Add simple API for changing HEAD of a repository
bin/head-master [new file with mode: 0755]