git clone git@gitlab.cs.washington.edu:bdmyers/roguelike.git
Note that if you use git clone and use gitlab to manage your code, you will need to change your git remote to a new gitlab repository you create (you can't push to bdmyers/roguelike.git).
The instructions can be found in src/README.md
(If you read it in a markdown editor, e.g., like clicking the README.md in gitlab, then it will be formatted nicely).