Re: move source to github?

>> Any chance we could have a main branch of the source for rdoc on
>> github, for slightly easier access? =A0Is it there already anywhere?
>
> I don't see how it's easier.
>
> You have to type the same amount of commands to check out from repository=
.
>
> You have to type more commands to commit your work to the repository.

git aliases might help

$ git config --global --add alias.pom 'push origin master'
$ git pom