Skip to content
Permalink
Browse files

cleanup repo files

  • Loading branch information...
scauligi committed May 8, 2018
1 parent fb7b3c6 commit 517bac8adb8613519f79c3247d09620ac57940be
@@ -1,4 +1,4 @@
## ConstanC Contributor Guidelines
## FaCT Contributor Guidelines

The goal of this document is to ensure that all contributors are synced on how to contribute.

@@ -10,7 +10,7 @@ Each pull request should accomplish a single task. Types of tasks are bugs, feat

Commit messages should follow [these 7 rules](https://chris.beams.io/posts/git-commit/) to the best of your ability.

Pull requests must be approved by Gary or Sunjay.
Pull requests must be approved by soelgary or scauligi.


### Style
@@ -19,6 +19,8 @@ Use merlin.

If merlin does not tell you the answer, look at the rest of the codebase.

Gary will hunt you down if you go over 80 characters. Or use tabs. If your code doesn't compile, then dig your own grave.
Do not use tabs for indentation. Keep line lengths below 80 characters.

If you can't find the answer anywhere, use [these guidelines](https://ocaml.org/learn/tutorials/guidelines.html)
Ensure your code compiles before you check it in.

If you can't find the answer anywhere, use [these guidelines](https://ocaml.org/learn/tutorials/guidelines.html)

This file was deleted.

This file was deleted.

This file was deleted.

This file was deleted.

This file was deleted.

This file was deleted.

This file was deleted.

This file was deleted.

0 comments on commit 517bac8

Please sign in to comment.
You can’t perform that action at this time.