Comments (12)
mergable_state
isn't clean
due to GitHub workflow reporting error. At this time, pull does not merge when the PR isn't clean
.
from pull.
Thanks for the report! If you don't mind, please leave one open and reply here when it happens again and I'll investigate. Thanks!!
from pull.
I don't think you have a way to check it. I'll just check it manually once it happens to another PR.
from pull.
Creating my own pull request without pull:
Everyone still showed up as participants: https://github.com/wei/generator-jhipster/pull/1
As you can see, this is something GitHub does automatically regardless of whether it's pull or a human creating the PR. and I don't think removing participants is possible through the API.
from pull.
Good idea. We can add a mergeUnstable
boolean flag to the config then check it on this line.
Line 66 in 0abe0c3
PR welcome.
from pull.
I've created the pull request. Please go through it and let me know if you see any issues. Since this is my first, might have done some things wrong π
from pull.
@wei : Thanks for the quick reply; I'll post here as soon as I see one again. Thanks much π
from pull.
Investigating this a bit further, I have a strong feeling my issue might be same as #16. Currently I have 10 repos monitored by the pull app. Do you know any way to check whether the rate limit is hit? π€
from pull.
@wei : Hi, the problem is back. Here's the pr; SudharakaP/generator-jhipster#254. I am not going to merge this until you confirm you've done the analysis. Let me know as soon as you are done so since all the people in the conversation gets emails each time a checkin is made to the parent repo I think. π
Thanks much π
from pull.
If I may suggest another improvement (I am not certain if this is possible), is that everyone is not included in the conversation for the pull requests. Otherwise everyone gets the failure emails as pointed out to me by one of the people in that conversation. π
from pull.
@wei : Thanks for the analysis. Is it possible to make an option for the pull app to merge the changes even when the state is unclean? This will be helpful for people who doesn't have paid plans (such as myself) where github workflows can be run. π
EDIT: If you don't have time for this, I can try to contribute a pr as well. π
from pull.
Wonderful. Let me do the change today evening. π
from pull.
Related Issues (20)
- pull.git.ci/process received a βSuccessβ message, but the repository did not change
- README.md
- . HOT 1
- Private repository read access HOT 1
- Undo force push? HOT 2
- [Feature request] Only merge commits from a certain timespan ago HOT 1
- ValidationError: "version" is required, while I provided the version HOT 1
- Rather than specifying `main`, can I specify the default branch? HOT 3
- Auto merge on branch? HOT 2
- Is automerge working? HOT 5
- How to configure upstream repo name? HOT 1
- No Pull Request for private fork HOT 1
- Weird behaviour HOT 4
- Sync not working HOT 10
- PR not merging, days after passing checks HOT 4
- Repo dosent sync after its transferred to other Org HOT 7
- Sync not working, triggered pull indicates success, no change HOT 1
- [Feature] Implement Selective Commit Merging Option HOT 1
- c0c6dd11bcb9179a1d7e7d4ebb98377bd4bda365
- is it not workingοΌ HOT 1
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
π Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. πππ
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google β€οΈ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from pull.