Skip to content

User manual
Compare
Choose a tag to compare
@regisd regisd released this 10 Oct 07:32
· 778 commits to master since this release
untagged-7b543e39f8064f99874f
69a6c05
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode. 
Add owners file (#423)

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/
Assets 3
Loading