-- This file is part of Vervis. -- -- Written in 2016 by fr33domlover . -- -- ♡ Copying is an act of love. Please copy, reuse and share. -- -- The author(s) have dedicated all copyright and related and neighboring -- rights to this software to the public domain worldwide. This software is -- distributed without any warranty. -- -- You should have received a copy of the CC0 Public Domain Dedication along -- with this software. If not, see -- . -- ---------------------------------------------------------------------------- -- Yesod misc -- ---------------------------------------------------------------------------- /static StaticR Static appStatic /favicon.ico FaviconR GET /robots.txt RobotsR GET -- ---------------------------------------------------------------------------- -- User login -- ---------------------------------------------------------------------------- /auth AuthR Auth getAuth -- ---------------------------------------------------------------------------- -- Everything else... -- ---------------------------------------------------------------------------- / HomeR GET /u PeopleR GET POST /u/!new PersonNewR GET /u/#Text PersonR GET /u/#Text/k KeysR GET POST /u/#Text/k/!new KeyNewR GET /u/#Text/k/#Text KeyR GET /u/#Text/p ProjectsR GET POST /u/#Text/p/!new ProjectNewR GET /u/#Text/p/#Text ProjectR GET -- IDEA: if there's /u/john/p/proj/r/repo, then make /u/john/r/proj-repo -- redirect there. consider having a clean way to refer to repos -- independently of projects... /u/#Text/p/#Text/r ReposR GET POST /u/#Text/p/#Text/r/!new RepoNewR GET /u/#Text/p/#Text/r/#Text RepoR GET /u/#Text/p/#Text/r/#Text/s/#Text RepoSourceR GET /u/#Text/p/#Text/r/#Text/c RepoCommitsR GET -- /u/#Text/p/#Text/t TicketsR GET -- /u/#Text/p/#Text/t/#TicketId TicketR GET -- /u/#Text/p/#Text/w WikiR GET -- /u/#Text/p/#Text/w/+Texts WikiPageR GET