UI: In repo page nav links, link to repo MRs

This commit is contained in:
fr33domlover 2020-08-17 13:46:27 +00:00
parent 201736427e
commit cc0040f012
2 changed files with 8 additions and 2 deletions

View file

@ -1,6 +1,6 @@
$# This file is part of Vervis.
$#
$# Written in 2016, 2018, 2019 by fr33domlover <fr33domlover@riseup.net>.
$# Written in 2016, 2018, 2019, 2020 by fr33domlover <fr33domlover@riseup.net>.
$#
$# ♡ Copying is an act of love. Please copy, reuse and share.
$#
@ -51,6 +51,9 @@ $maybe desc <- repoDesc repository
<span>
<a href=@{RepoHeadChangesR user repo}>
[🛠 Changes]
<span>
<a href=@{RepoProposalsR user repo}>
[🧩 Patches]
^{followButton}

View file

@ -1,6 +1,6 @@
$# This file is part of Vervis.
$#
$# Written in 2016, 2018, 2019 by fr33domlover <fr33domlover@riseup.net>.
$# Written in 2016, 2018, 2019, 2020 by fr33domlover <fr33domlover@riseup.net>.
$#
$# ♡ Copying is an act of love. Please copy, reuse and share.
$#
@ -51,6 +51,9 @@ $maybe desc <- repoDesc repository
<span>
<a href=@{RepoHeadChangesR user repo}>
[🛠 Commits]
<span>
<a href=@{RepoProposalsR user repo}>
[🧩 Merge Requests]
^{followButton}