Be sure to read the Suggestions for New Developers.

How to make a Pull Request (PR) to Submitty

These guidelines drawn from:

How To Review a Pull Request (PR)

So you’ve been assigned to review another developer’s code. What do you need to do?

How To Edit Documentation

If you want to update or add documentation to here’s what you do: