Comments (3)
Disabling the checkbox or straight up hiding it would be enough for this.
from homu.
Disabling the checkbox or straight up hiding it would be enough for this.
Would be good to do the same for PRs that are not even approved yet, see #80.
from homu.
Seems fixed since #92
from homu.
Related Issues (20)
- Unable to create a status (422 No commit found for SHA)
- may reuse a dirty worktree from previous PR errors
- Need prefix to PR number in merge commit message, otherwise incorrect linking occurs with subtrees HOT 2
- /queue/all links to non existing /retry_log/all
- bors squash doesn't work with rolled-up PRs
- retry auto approves previously unapproved pr?
- Pull requests merged via `@bors r+ squash` aren't closed automatically HOT 1
- Interation with rust-highfive assignment
- Make bors ignore mentions in inline code blocks.
- Sometimes approves the wrong commit HOT 9
- Escape HTML when generating rollup messages
- Run `try` with a specific parent commit
- GitHub Webhooks Delivery Instability
- `bors squash` ignored on rollups HOT 1
- bors squash does not close PRs HOT 3
- bors squash left commit separate from PR/rollup in gh history HOT 2
- Include repo name in merge commit message?
- Don't allow try-builds to be rolled up HOT 1
- Bors sometimes gets stuck, doesn't process the queue any more HOT 5
- bors should prevent rolling up already merged PRs
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 homu.