mirror of
https://code.sup39.dev/repos/Wqawg
synced 2024-12-29 02:54:52 +09:00
45 lines
1.3 KiB
Text
45 lines
1.3 KiB
Text
$# This file is part of Vervis.
|
|
$#
|
|
$# Written in 2018 by fr33domlover <fr33domlover@riseup.net>.
|
|
$#
|
|
$# ♡ 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
|
|
$# <http://creativecommons.org/publicdomain/zero/1.0/>.
|
|
|
|
<table>
|
|
<tr>
|
|
<td>By
|
|
<td>
|
|
$maybe sharer <- msharer
|
|
^{personLinkW sharer}
|
|
$nothing
|
|
#{patchAuthorName patch}
|
|
<tr>
|
|
<td>At
|
|
<td>#{showDate $ patchTime patch}
|
|
<tr>
|
|
<td>Title
|
|
<td>{#patchTitle patch}
|
|
<tr>
|
|
<td>Description
|
|
<td>
|
|
<p>#{patchDescription patch}
|
|
|
|
$if null parents
|
|
<p>TODO display patch diff here
|
|
$else
|
|
<p>
|
|
This commit has multiple parents, and to be honest, I'm unsure how exactly
|
|
to decide against which one to run the diff. Do I just pick the first
|
|
parent? Or otherwise somehow detect which one is the right one? Advice is
|
|
very welcome. For now, to help me find and observe such cases, I'm just
|
|
listing here the parents of the commit:
|
|
<ol>
|
|
$forall parent <- parents
|
|
<li>#{parent}
|