Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
chore(coqbot): revert add configuration [skip ci]
This reverts commit ad8a805. * coq/bot#120 - Does not work for repos using GitLab subgroups (i.e. only works for `owner/name`)
- Loading branch information