Comments (9)
@minrk cool! IMO not merging a PR when one doesn't have time to deploy right now is a good thing, rather than bad thing. Merging and not deploying sortof blocks other people from merging and deploying, since they now become responsible for your PR too.
from mybinder.org-deploy.
A lot has happened since this issue was filed, and I think we're in a good place now.
from mybinder.org-deploy.
/cc @willingc @betatim @choldgraf @minrk @Carreau @mariusvniekerk
from mybinder.org-deploy.
👍 to this, and a first prototype is in progress on binderhub: jupyterhub/binderhub#222
The only possible downside I can see is an incentive to avoid merging a PR when one doesn't have the time to deal with the deploy (i.e. if I can't deploy right now, I also can't merge upstream PRs). I'm not sure that will be an issue, and it certainly doesn't mean we shouldn't give it a try.
from mybinder.org-deploy.
Makes sense!
from mybinder.org-deploy.
I think it's a reasonable workflow to approve the code after review. If there's not time / support at the moment to merge, there's no harm done by a second review by someone else who can then merge. We're pretty fluid in terms of merging in a timely manner.
from mybinder.org-deploy.
I'm +100 on this idea, the "expect a failure on first deploy" is getting really annoying :-)
from mybinder.org-deploy.
I like the proposal.
One thing that I would love to see is that we could deploy to staging when we open the PR. The workflow of open PR -> instantly merge -> revert because failure ... not sure how we'd organise for that but yeah it would be nice and feel more in line with how the rest of GitHub works.
from mybinder.org-deploy.
We are currently planning on short-term dealing with this by having planned deploys with team-members present. Here's another +100 on this issue in case somebody has the cycles to automate a binderhub/repo2docker bump!
from mybinder.org-deploy.
Related Issues (20)
- Record GESIS deploy into grafana
- mybinder.org is down and returning ERROR 500: Internal Server Error. HOT 13
- Streamline GESIS deployment HOT 5
- Is email alert on Grafana enable? HOT 6
- One of the OVH nodes is out of disk space HOT 2
- OVH down HOT 1
- Large number of requests waiting on build HOT 2
- Sort-term strategy to improve the launch success rate HOT 5
- Centralised logging for cryptnono?
- Incident - High number of builds on GESIS server on 25 January HOT 2
- Upcoming workshop maximum concurent users limit. HOT 5
- How to get `kubectl` access to curvenote member? HOT 1
- GESIS was "down" from 10:40 UTC+1 until 13:20 UTC+1 HOT 2
- GESIS Server will be down on 14 February 2024 for HDD exchange HOT 1
- GESIS server unable to launch repositories HOT 3
- Failed to connect to event stream on many repos (that used to work) HOT 4
- Raniere will be out of the office from 28/February/2024 until 10/March/2024
- Service (at GESIS?) potentially down HOT 5
- Too many build pods per node on GESIS HOT 1
- Non-running build pods accumulating on GESIS node HOT 2
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 mybinder.org-deploy.