[09:02:11]  MarkUsGithubCIA (~MarkUsGit@192.30.252.41) joined #markus.
 [09:02:11] <MarkUsGithubCIA>  [Markus] david-yz-liu pushed 4 new commits to master: https://git.io/vDVxz
 [09:02:11] <MarkUsGithubCIA>  Markus/master 7a16b4a David Liu: Fix assigning graders to criteria table
 [09:02:11] <MarkUsGithubCIA>  Markus/master 704d72f David Liu: Fix TA-assigned criteria display in results view, and reorder them
 [09:02:11] <MarkUsGithubCIA>  Markus/master 1a3930d David Liu: Fix some tests for assigning graders to criteria
 [09:02:11]  MarkUsGithubCIA (~MarkUsGit@192.30.252.41) left #markus.
 [09:02:36]  MarkUsGithubCIA (~MarkUsGit@192.30.252.41) joined #markus.
 [09:02:36] <MarkUsGithubCIA>  [Markus] david-yz-liu pushed 2 new commits to master: https://git.io/vDVxg
 [09:02:36] <MarkUsGithubCIA>  Markus/master 4188fe7 Eugene Cheung: Fix file manager path anchors displaying as plaintext
 [09:02:36] <MarkUsGithubCIA>  Markus/master 2ea542a David Liu: Merge pull request #2885 from arkon/fix/vcs_path...
 [09:02:36]  MarkUsGithubCIA (~MarkUsGit@192.30.252.41) left #markus.
 [09:02:46]  MarkUsGithubCIA (~MarkUsGit@192.30.252.40) joined #markus.
 [09:02:46] <MarkUsGithubCIA>  [Markus] david-yz-liu pushed 2 new commits to master: https://git.io/vDVx2
 [09:02:46] <MarkUsGithubCIA>  Markus/master 8e0eb6f David Ansermino: Grammar fix
 [09:02:46] <MarkUsGithubCIA>  Markus/master 15daed4 David Liu: Merge pull request #2884 from ansermino/patch-1...
 [09:02:46]  MarkUsGithubCIA (~MarkUsGit@192.30.252.40) left #markus.
 [10:49:24]  MarkUsGithubCIA (~MarkUsGit@192.30.252.41) joined #markus.
 [10:49:24] <MarkUsGithubCIA>  [Markus] david-yz-liu pushed 3 new commits to 1.5.0: https://git.io/vDwf4
 [10:49:24] <MarkUsGithubCIA>  Markus/1.5.0 b259bcc Alessio Di Sandro: autotest: Add option to show test output to students
 [10:49:24] <MarkUsGithubCIA>  Markus/1.5.0 b00ae12 Alessio Di Sandro: autotest: Revert crlf to lf change to a file for an easier diff
 [10:49:24] <MarkUsGithubCIA>  Markus/1.5.0 7caf9c0 David Liu: Merge pull request #2883 from adisandro/git...
 [10:49:24]  MarkUsGithubCIA (~MarkUsGit@192.30.252.41) left #markus.