Closed dsheets closed 8 years ago
This should take 2 seconds.
yes yes, sorry! :)
should we just shift to the ocaml repo? camelus is pretty successfully embedded into opam's workflow now, hurrah! :)
Done, and renamed the repo to Camelus, because we don't need to distinguish between the project and the instance all that much. I don't know exactly how Github redirects work, but it seems safer to not rename and shift owner at the same time.
Changing the repo owner may be a good idea (or not) but this immediate issue is resolved.
Otherwise it's not obvious that the source of the bot lives here.