Search results

Superfluous "pull" notifications

Status: Open.

#639 In wei/pull;

· sprintersb opened on Sep 14, 2025

[Feature]: Notification on merge conflict

enhancementNew feature or request New feature or request

Status: Open.

#600 In wei/pull;

· kroese opened on Oct 2, 2024

HelloGitHub Badge

Status: Open.

#584 In wei/pull;

· 521xueweihan opened on Jun 12, 2024

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

enhancementNew feature or request New feature or request

help wantedExtra attention is needed Extra attention is needed

Status: Open.

#448 In wei/pull;

· Rongronggg9 opened on May 31, 2022

feat: comment when auto merge/hardreset fails

enhancementNew feature or request New feature or request

Status: Open.

#231 In wei/pull;

· wei opened on Aug 22, 2020

rfc: make consumable as library

enhancementNew feature or request New feature or request

Status: Open.

#210 In wei/pull;

· cdaringe opened on Jun 10, 2020