commit | 2f31f919e330f908b2abe506b0845e8c642074f3 | [log] [tgz] |
---|---|---|
author | Thorsten Schöning <tschoening@am-soft.de> | Sat Apr 11 14:38:38 2020 +0200 |
committer | Thorsten Schöning <tschoening@am-soft.de> | Sat Apr 11 14:38:38 2020 +0200 |
tree | 13015b1a86a65ba831c92c15c8c66131b50c93f9 | |
parent | 11404822d8f6d6736bf4fbcf487c361723f289e1 [diff] |
Made GitHubs PRs linkable in the changes. Not sure about the syntax, though, e.g. if to use GHPR(+GHI) as "system" vs. GH only and using "pull/XY" ("issues/XY") as the actual issue.