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

Sync not working, triggered pull indicates success, no change

jamincollins opened this issue · comments

I've installed the app, given it permissions over this (and other) repositories, and manually triggered a pull. The triggered pull indicates Success (see screenshot), but the repository remains behind (see screenshot).

image

image

Hello, thanks for trying out Pull. I got your repo onto the scheduler and it's now working, jamincollins/OrcaSlicer#1 Please approve the PR for merge as it contains "workflow" changes.