Why Nostr? What is Njump?
2024-06-12 23:46:22
in reply to

Codeberg.org on Nostr: We have support for manual merges. The detection is still not perfect, but works in ...

We have support for manual merges. The detection is still not perfect, but works in most cases, and you can always provide the commit id that merged a PR instead of pressing the merge button if it failed for some reason.

The option is "Enable autodetect manual merge (Note: In some special cases, misjudgments can occur)" in the Pull requests repo settings.
Author Public Key
npub1fh736ae0xzk98s59wggazdpqg0g78mg2rwk7qf87ew96cqhc4lrst3ee83