fr33domlover
e29233a59f
Rename RepoPatchR to RepoCommitR, we'll use the old name for merge requests
2020-05-26 08:54:21 +00:00
fr33domlover
d8fabbdfc5
Display project/repo sharer nav, and project nav in repo page
2019-12-28 16:34:44 +00:00
fr33domlover
7654655bcf
In repo source page(s), display the project it belongs to
2019-12-27 20:44:14 +00:00
fr33domlover
f846a75440
UI: Move repo deletion button to the bottom of the page
2019-10-23 07:43:40 +00:00
fr33domlover
25e29e8ccc
UI: In repo source page, display a link bar
2019-10-19 10:13:33 +00:00
fr33domlover
6a4975a52c
Add "Follow" button to person, repo, project and ticket pages
2019-10-02 08:07:26 +00:00
fr33domlover
68e8b094a0
Handle post-receive hook, publish a Push activity
2019-09-09 00:27:45 +00:00
fr33domlover
2c18660a3b
Provide AP representation of commits, and support committer field
2019-08-06 13:23:11 +00:00
Jason Harrer
8f268b17a3
Use CSS to layout applicative forms more nicely on the pages
2019-07-27 00:05:04 +00:00
fr33domlover
b1897a20c0
Allow ticket author to be a remote actor
2019-06-07 04:26:32 +00:00
fr33domlover
12ec77fb44
Add back the repo source CSS templates, they're used separately from pandoc
2019-05-27 17:39:33 +00:00
fr33domlover
b8b226d15c
Highlight code segments in pandoc rendered source file views
2019-05-27 13:28:57 +00:00
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
fr33domlover
dcadaed2ee
Show links for adding repo/project collaborators
2019-01-27 02:56:11 +00:00
fr33domlover
48d7e86684
Remove table headers from repo source dir view
2018-11-01 09:45:48 +00:00
fr33domlover
cf3f8fb8f6
Add CSRF token to all buttons through a new buttonW widget
2018-07-11 08:15:19 +00:00
fr33domlover
7fdc7e703d
Repo tree view: Replace [D] and [F] with Unicode chars
2018-07-10 16:43:22 +00:00
fr33domlover
26c3dc1731
Patch diff view: More contrast for diff line colors, otherwise hard to read
2018-05-25 18:47:29 +00:00
fr33domlover
81d058a7ce
Patch diff view: Remove that huge margin from code lines
2018-05-25 18:46:51 +00:00
fr33domlover
bd13175021
Commit diff view: Fix position and preserve spaces in code lines
2018-05-25 11:30:22 +00:00
fr33domlover
ca1e83f504
Apply basic style to make commit diffs look a bit less very ugly
2018-05-24 22:42:01 +00:00
fr33domlover
3086209b3b
Fix typo in repo patch page template
2018-05-24 22:29:08 +00:00
fr33domlover
9f77ea69cb
Display commit diff for Git repos
2018-05-21 20:32:34 +00:00
fr33domlover
5e2ac28c30
Forgot to record new files!
2018-05-18 19:44:14 +00:00
fr33domlover
ce89bded73
Add a commit view route, nothing displayed yet
2018-05-17 15:46:57 +00:00
fr33domlover
bfa6436bb3
Atom and RSS feeds for repo history
2018-03-31 22:04:33 +00:00
fr33domlover
c292bd51a4
Role diagram for repo roles too
2016-07-02 09:57:52 +00:00
fr33domlover
23c06c535a
Put roles under sharers, now groups' roles can be managed too
2016-06-06 19:41:22 +00:00
fr33domlover
f2e4bb4291
Roles now under by sharers, i.e. now groups too
2016-06-06 17:29:54 +00:00
fr33domlover
c387e32214
Link to collaborator pages from repo and project pages
2016-06-06 06:55:46 +00:00
fr33domlover
5305caf0b0
Repo settings page, allow repos to move between projects
2016-06-05 21:11:05 +00:00
fr33domlover
7e0abe20b8
Make personal role management discoverable via links
2016-06-05 13:58:51 +00:00
fr33domlover
10c27464dd
Make all role-related code repo-specific
2016-06-01 07:35:22 +00:00
fr33domlover
13bf3e1953
Write missing repo collaborator handlers
2016-05-31 01:52:04 +00:00
fr33domlover
c6c41b485c
Finish route change, it builds now
...
I used this chance to make some name changes, add some utils, tweak some
imports, remove more `setTitle`s and so on. I also made person, repo,
key and project creation forms verify CI-uniqueness.
2016-05-23 20:46:54 +00:00
fr33domlover
4d16203e5d
Repo deletion button
2016-05-13 19:23:56 +00:00
fr33domlover
9295a9ba8c
Use <x .y> instead of <x class=y> in Hamlet files
2016-05-13 15:25:19 +00:00
fr33domlover
b2f5b20184
Minimal pagination for git and darcs change log
2016-05-13 08:49:19 +00:00
fr33domlover
5c288c7fdb
Darcs change log view
2016-05-08 14:28:03 +00:00
fr33domlover
07b627eb9c
Refactor Git log view into separate modules and Widgets
2016-05-06 10:29:02 +00:00
fr33domlover
ed2df29b66
Refactor git log view, make room for darcs
2016-05-05 16:30:30 +00:00
fr33domlover
3ed04941e8
Refactor git source view code and implement the same for Darcs
2016-05-05 07:29:19 +00:00
fr33domlover
c8c323f695
Split git repo source handler into sane small functions
2016-05-04 17:17:47 +00:00
fr33domlover
072928dab1
Remove titles from all pages, the breadcrumb already shows them
2016-05-02 14:30:15 +00:00
fr33domlover
85319ddfdc
Render README below repo tree view when present
2016-04-13 16:17:34 +00:00
fr33domlover
b42d9db432
Split source file rendering into separate module
2016-04-13 06:55:39 +00:00
fr33domlover
2323ec3fc0
Repo page is root repo source page, remove duplication
2016-04-12 23:38:21 +00:00
fr33domlover
d37108fa6f
Add breadcrumb to repo tree content view
2016-04-12 23:10:46 +00:00
fr33domlover
ea71f30d96
Repos right under users, not under projects
2016-04-12 17:37:31 +00:00
fr33domlover
69b2dafc32
Define some initial highlight colors
2016-04-12 14:44:43 +00:00
