Search results

pull bot created tons of pull requests (in forked repos) and merge immediately

Status: Open.

#611 In wei/pull;

· williamchai opened on Feb 22, 2025

Turn the app off after certain period of inaction

Status: Open.

#606 In wei/pull;

· OnkarRuikar opened on Dec 23, 2024

[Feature]: Notification on merge conflict

enhancementNew feature or requestNew 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 merge-ff 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 opened on May 31, 2022

feat: comment when auto merge/hardreset fails

enhancementNew feature or requestNew feature or request

Status: Open.

#231 In wei/pull;

· wei opened on Aug 22, 2020

rfc: make consumable as library

enhancementNew feature or requestNew feature or request

Status: Open.

#210 In wei/pull;

· cdaringe opened on Jun 10, 2020