Michal Čihař - phpMyAdmin is now at github

phpMyAdmin is now at github

I've just updated phpMyAdmin repos on github and enabled notifications hooks there, so the earlier announced switch to github is done.

All you need to do is point your repositories to pull/push to github, for main repository it can be done using:

git remote set-url origin git@github.com:phpmyadmin/phpmyadmin.git

If you are using just read only access then use following:

git remote set-url origin git://github.com/phpmyadmin/phpmyadmin.git

For other repositories just replace last part of the URL with repository name (they have not changed).

Everything should work as before, pushes should be now faster, because all notifications are done in background on github and they don't block pushing.

Comments

Ewoud Kohl van Wijngaarden wrote on Feb. 7, 2012, 5:59 p.m.

There's a --push option for set-url to only set the push URL. Personally I another option for github by adding the following in my ~/.gitconfig:

[url "git://github.com/"]
insteadOf = "gh:"
[url "git@github.com:"]
pushInsteadOf = "gh:"

Then you can use gh:phpmyadmin/phpmyadmin.git as the URL. It will use git:// for pull and ssh for push.

wrote on Feb. 8, 2012, 4:20 p.m.

Well I don't care much about pulling over SSH, it's not big deal.

For the second tip, it is indeed useful, on the other side it makes your URLs dependent on configuration, what is not something for public announcements :-).