For future reference: the benchmarks now live at
ssh://hg@bitbucket.org/aibasel/downward-benchmarks.

Merged and pushed.

issue651 deals with removing VAL from the repo and issue652 deals with rewriting 
the repo history.

Looks good to me.

I'm finished with the first step for this issue: removing all dependencies to 
the benchmarks from the repo. You can find the pull request here:

https://bitbucket.org/jendrikseipp/downward/pull-requests/47

We can talk about the next steps in the Fast Downward meeting tomorrow.

+1

We want to move the benchmarks out of the repository and then remove their 
history from the repository. This should make the repository about 10x smaller 
and thus speedup cloning.

Another component that we could remove is VAL, now that it has its own repository 
on Github.