fr33domlover c0965a4c47 Default roles for repos and turn user/anon collab tables into proj/repo fields ... * Repo collab now supports basic default roles developer/user/guest like project collab does * User/Anon collab for repos and projects are now stored as fields instead of in dedicated tables, there was never a need for dedicated tables but I didn't see that before * Repo push op is now part of `ProjectOperation` * `RepoRole` and related code has been entirely removed, only project roles remain and they're used for both repos and projects * This is the first not-totally-trivial DB migration in Vervis, it's automatic but please be careful and report errors		2019-01-29 22:24:32 +00:00
..
collab	Default roles for repos and turn user/anon collab tables into proj/repo fields	2019-01-29 22:24:32 +00:00
widget	Patch diff view: More contrast for diff line colors, otherwise hard to read	2018-05-25 18:47:29 +00:00
changes-darcs.hamlet
changes-git.hamlet
edit.hamlet
list.hamlet
new.hamlet
patch.cassius	Apply basic style to make commit diffs look a bit less very ugly	2018-05-24 22:42:01 +00:00
patch.hamlet	Apply basic style to make commit diffs look a bit less very ugly	2018-05-24 22:42:01 +00:00
source-darcs.cassius
source-darcs.hamlet	Remove table headers from repo source dir view	2018-11-01 09:45:48 +00:00
source-git.cassius
source-git.hamlet	Remove table headers from repo source dir view	2018-11-01 09:45:48 +00:00