diff options
author | Panagiotis "Ivory" Vasilopoulos <git@n0toose.net> | 2024-02-23 01:26:17 +0100 |
---|---|---|
committer | Panagiotis "Ivory" Vasilopoulos <git@n0toose.net> | 2024-02-23 21:09:08 +0100 |
commit | bf7fb89178f41c712b8a8863667a442ec1e1c5d4 (patch) | |
tree | 1d9da0f24916dd88289bb519d94563bd93e8b9cd /docs/LICENSE | |
parent | Merge pull request '[FEAT] repo search using git grep' (#1594) from snematoda... (diff) | |
download | forgejo-bf7fb89178f41c712b8a8863667a442ec1e1c5d4.tar.xz forgejo-bf7fb89178f41c712b8a8863667a442ec1e1c5d4.zip |
[UI] Agit: Add AGit label to AGit-created PRs
Adds a label to Pull Requests that were created using AGit-Flow,
in order to prevent situations where a contributor uses AGit-Flow
to push new changes - only to realize that they did not use AGit-Flow
in the first place, and that they just opened a new PR accidentally
(that was me).
Also intended to raise general awareness about the feature. Some
additional work, such as adding a tooltip, still needs to be
done.
A small typo fix for a comment and (exclusively) formatting fixes
in the copyright header are also included.
Refs: https://codeberg.org/forgejo/forgejo/issues/2433
Diffstat (limited to 'docs/LICENSE')
0 files changed, 0 insertions, 0 deletions