Skip to content

Commit

Permalink
Add owners file (#423)
Browse files Browse the repository at this point in the history
This will

- protect the cup directory
- help github in suggesting reviewers

As a project admin, you can still commit. But the merge button is red.
https://help.github.com/articles/about-codeowners/
  • Loading branch information
regisd committed Oct 8, 2018
1 parent 19c3d86 commit 69a6c05
Showing 1 changed file with 13 additions and 0 deletions.
13 changes: 13 additions & 0 deletions CODEOWNERS
Validating CODEOWNERS rules …
@@ -0,0 +1,13 @@
# Default owner for everything, unless a later match takes precedence
# This project was created by Gerwin
* @lsf37

# In general, we don't wan't to change code in cup.
# Be sure we have a big red warning by giving ownership to nobody.
/cup/ @issues

# The Maven plugin was initally authored by Régis
/jflex-maven-plugin/ @regisd
# Régis alsi knows more Bazel confg
WORKSPACE @regis
BUILD @regisd

0 comments on commit 69a6c05

Please sign in to comment.