Command line hints for merge conflict resolution in PR template #100

Open
opened 2025-11-02 03:08:54 -06:00 by GiteaMirror · 3 comments
Owner

Originally created by @lunny on GitHub (Nov 30, 2016).

Sometimes, we will use manually to merge PR to resolve some conflicts. But if some command line hints in the PR UI like github has is very useful.

Originally created by @lunny on GitHub (Nov 30, 2016). Sometimes, we will use manually to merge PR to resolve some conflicts. But if some command line hints in the PR UI like github has is very useful.
GiteaMirror added the topic/uiissue/confirmedtype/enhancement labels 2025-11-02 03:08:54 -06:00
Author
Owner

@bkcsoft commented on GitHub (Dec 2, 2016):

Updated the title for clarity

@bkcsoft commented on GitHub (Dec 2, 2016): Updated the title for clarity
Author
Owner

@stale[bot] commented on GitHub (Feb 17, 2019):

This issue has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs during the next 2 weeks. Thank you for your contributions.

@stale[bot] commented on GitHub (Feb 17, 2019): This issue has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs during the next 2 weeks. Thank you for your contributions.
Author
Owner

@lunny commented on GitHub (Sep 11, 2023):

The conflicted files check is async, so it's not easy to get the conflicted files immediately. Maybe I should close this issue.

@lunny commented on GitHub (Sep 11, 2023): The conflicted files check is async, so it's not easy to get the conflicted files immediately. Maybe I should close this issue.
Sign in to join this conversation.
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: github-starred/gitea#100