Dummy repo to work around GH 404