| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2018-04-26 | Add check-owners-pr.sh wrapper around check-owners | Gaëtan Gilbert | |
| ``` $ dev/tools/check-owners-pr.sh 6809 --show-patterns --owner '@MSoegtropIMC' remote: Counting objects: 93, done. remote: Compressing objects: 100% (3/3), done. remote: Total 93 (delta 47), reused 50 (delta 47), pack-reused 43 Unpacking objects: 100% (93/93), done. From github.com:coq/coq * branch refs/pull/6809/head -> FETCH_HEAD * branch master -> FETCH_HEAD /dev/build/windows: @MSoegtropIMC ``` | |||
| 2018-04-04 | check-owners.sh: add --show-patterns and --owner options | Gaëtan Gilbert | |
| ```bash $ dev/tools/check-owners.sh --show-patterns Makefile Makefile.build /Makefile*: @letouzey $ dev/tools/check-owners.sh --owner '@gares' stm/stm.ml interp/declare.ml stm/stm.ml: @gares $ dev/tools/check-owners.sh --show-patterns --owner '@gares' stm/*.ml interp/*.ml /stm/: @gares ``` | |||
| 2018-04-04 | Script to identify the code owner for given files | Gaëtan Gilbert | |
| Can be used with git diff --name-only to identify owners for changes in given commits. | |||
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |