Search results

Superfluous "pull" notifications

Status: Open.

#639 In wei/pull;

·sprintersb openedon Sep 14, 2025

[Feature]: Notification on merge conflict

enhancementNew feature or requestNew feature or request

Status: Open.

#600 In wei/pull;

·kroese openedon Oct 2, 2024

HelloGitHub Badge

Status: Open.

#584 In wei/pull;

·521xueweihan openedon Jun 12, 2024

[FR] New mergeMethod <code>merge-ff</code> to only merge when un-fast-forwardable, otherwise hard reset

enhancementNew feature or requestNew feature or request

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#448 In wei/pull;

·Rongronggg9 openedon May 31, 2022

feat: comment when auto merge/hardreset fails

enhancementNew feature or requestNew feature or request

Status: Open.

#231 In wei/pull;

·wei openedon Aug 22, 2020

rfc: make consumable as library

enhancementNew feature or requestNew feature or request

Status: Open.

#210 In wei/pull;

·cdaringe openedon Jun 10, 2020