Move to GitHub

[Christian Muise]

Hello all,

The writing has been on the wall for a while for things trending to Git / GitHub in lieu of Mercurial / Bitbucket. While we still have the option to convert mercurial repositories to git ones and remain with BitBucket, the shift does raise the question as to what members are more comfortable with.

If you have a feeling one way or another, please respond to this publicly or let me know privately. Either way, I'll be doing some house cleaning of the projects, updating things for the next phase of service improvements, etc.

Cheers,

Christian

[Jendrik Seipp]

Hi Christian,

I think moving to GitHub is a good idea. Without support for Mercurial,
there are no strong arguments for Bitbucket, I think, except for the
work of moving the repos.

You probably saw that I converted the pddl-generators repository to Git
(https://bitbucket.org/planning-researchers/pddl-generators). Feel free
to move it to GitHub if you like.

Cheers,
Jendrik

[Christian Muise]

Hello all,

There are still some hold-out issues, like updating the main planning.domains pages to point to GitHub instead of BitBucket, but generally everything has now been transitioned. This is the new org: https://github.com/ai-planning

I tried my best to mirror all of the issues, branches, repos, users, etc, etc. If I missed anything, just let me know. Owners of projects were not maintained, but I think officially the organization owns it, and members then have write access.

Hope you are all doing well and staying healthy!

Best,

Christian