Dumb script that will download a repository to your server

gistfile1.aw

<?php

if (array_key_exists('user',$_REQUEST))
{
   if (!is_dir($_REQUEST['repo']))
   {
      system("mkdir {$_REQUEST['repo']} && cd {$_REQUEST['repo']} && git init && git pull git://github.com/{$_REQUEST['user']}/{$_REQUEST['repo']}.git master");
   }
   else
   {
      die('directory '.$_REQUEST['repo'].' already exists');
   }
}
else
{
echo <<<FORM
   <form method="GET">
         Git Hub Dev :<input type="text" name="user" value="davidrenne"/>
         <br/>Git Hub Repo:<input type="text" name="repo" value="cruddy_mysql"/>
         <br/><input type="submit" value="git hub!"/>
   </form>

FORM;
}

?>