-
-
Notifications
You must be signed in to change notification settings - Fork 678
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
no updates, and service url not avaiable #225
Comments
The service is running fine, which repository are you missing updates? I see pull has been working for some of your repos: https://github.com/issues?user=muescha&q=author%3Aapp%2Fpull&user=muescha |
thanks for info - maybe better info text in my repo the last run was 11hours ago: and my manual PR shows this missing commits: |
Thanks for noticing, the interval has been increased to 12 hours due to lack of server resources and abuse. Closing for now. |
ok thx - then i have to manually update it :( a) i am not so familiar with github apps - is there a way to setup this pull as an my own workflow, so your server resources are not consumed? b) maybe to reduce server resources it would be ok for me to disable all repo from automatic check and go to an manual update on demand (for example just before i go a local update repo i call the update) |
maybe with #210 the (b) is possible? |
Disabling just your repos is not enough since we have 80,000 repos currently scheduled : D You can use my GitHub Actions inside your workflow. |
thanks for pointing to this :) |
unfortunately the linked actions using |
Let GitHub Action do the work, you're not in a rush anyways. You're not being charged for the data transfers so what's there to worry about. : D |
ok, then it is ok - but it feels somehow like time, bytes and traffic wasting ;) |
maybe can you help me again: when i manually try to get in sync i follow this steps:
the manual pull is available again - and when it runs i get a now the questions: how i can get this |
Hi @muescha, GitHub UI does not let you hard reset commits. You have to use either GitHub API or Git commandline. : D |
thanks for fast reply with your update i can get the but it seems i can not get rid of the "ghost pull requests" :( gatsbyjs/gatsby#26540 |
You have to clean up your branch. Create a new branch off of master then rebase. These pull requests were a result of you merging pull requests manually. |
found solution: my local branch was not in sync with the github one. i fixed it with: git fetch origin
git reset --hard origin/master NOTE to me: i have to shelf my local changes before do the git commands - they are lost now - but i think i can restore it somehow - restored -> webstorm has done an autoshelf on the last project update :) |
thanks a lot for your hints |
FYI: i miss my updates and the service url https://pull.git.ci/process/user/repo give me back an error
The text was updated successfully, but these errors were encountered: