Added a script id-clone
authorHeikki Levanto <heikki@indexdata.dk>
Tue, 29 Sep 2015 12:35:04 +0000 (14:35 +0200)
committerHeikki Levanto <heikki@indexdata.dk>
Tue, 29 Sep 2015 12:35:04 +0000 (14:35 +0200)
commitada6661f32cabd6131194e90280d3ed5bba2d635
tree991a568ef3d1dac076bbaf4e9ca09c310e074ae0
parent4b954c378eeea37fa0cf64990ad2fd1b4b729cfd
Added a script id-clone

Clones a private or public git project, so you don't have
to remember the long URL. Use
   .../git-clone git-tools
for some value of "git-tools"
id-clone [new file with mode: 0755]