GitHub mirror

Bas Nijholtrequested to merge
github_mirror into master

I've created python-adaptive/adaptive at GitHub.

Edited by Bas Nijholt

Merge request reports