back to regular repo, since pull request was merged