about cli, @forki @matthid what do you think?

paket git add .. // and list remove etc
paket github add ..
paket http add ..

like git remote?

add lot of cmd add-git remove-git etc is annoying

Asking because i'd like something like that for repotool too

@enricosada I changed the cli and added the functions in AddProcess etc. Now you can run

paket github add fsprojects/paket

and it generates the paket.dependencies and paket.lock file correctly. It also supports the version, file and group parameters.

so no longer WIP?
@matthid @enricosada can you please review?

I could clean up the empty functions AddHttp, AddGit etc if you want to merge only the Github-functionality.
Then it's no longer WIP, no.

thanks!