All Repos Have Changed
3 views
Skip to first unread message
Christian Muise
Aug 2, 2016, 3:48:00 PM8/2/16
to Planning.Domains
Hello all,
After much consideration, we've decided to update the bitbucket team to better reflect the new hierarchy: planning-tools has been renamed to planning-researchers. What this means is that every repository that was located here...
...is now located here...
There are 5 projects for the planning-researchers team (listed below), and with one of them being "Planning Tools", it was becoming increasingly difficult to keep the naming convention consistent. This will break any repository you may have checked out, and if you use the command-line tools, you will need to obtain a fresh version that has the updated urls (along with removing the local copy of your domains -- likely located at ~/planning.domains). With git, you can just repoint to the correct URL if you so desire:
$ git remote set-url origin <newly updated repo url>
Sorry for any inconvenience this may cause, but it will hopefully be the one and only time the repository names will need to change.
Cheers,
Christian
{ Projects for Planning Researchers }
Project to house all of the planning benchmark problems (of all flavours):
Repository of plugins for the online planning editor: http://editor.planning.domains/
Tools, scripts, frameworks, etc for running the various International Planning Competitions.
Project created by Bitbucket for Planning Tools
Publicly available resources for the planning community (papers, tutorials, etc.)
Reply all
Reply to author
Forward
0 new messages