wei / pull

🤖 Keep your forks up-to-date via automated PRs

Home Page:https://github.com/apps/pull

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Does the fetch upstream button break pull?

Milo123459 opened this issue · comments

commented

I clicked the fetch upstream button because pull wasn't merging one of its PRs, but it since hasn't made another.

Could you share the repo? If you prefer, You can send it in private too via chat on my website.

Will check it out!

It seems to be working fine. Due to the large number of repos pull is working with, the check interval could be a few hours~