jupyterhub/repo2docker

bot for refreezing

Open

#753 opened on Jul 25, 2019

View on GitHub
 (19 comments) (0 reactions) (0 assignees)Python (1,544 stars) (358 forks)batch import
help wantedneeds: discussion

Description

Proposed change

Every once in a while, we want to rebuild the base environments. This is done by running the freeze.py script in the conda buildpack.

Alternative options

keep manually refreezing

Who would use this feature?

Maintainers of repo2docker and folks contributing updates to the base environments who don't want to run refreeze themselves.

One way is to do periodic refreeze, to keep things up to date, as is done with henchbot. Another is to allow pull requests to update the environment spec or other files and then post a comment like @r2d-bot please refreeze.

How much effort will adding it take?

Not sure! Hopefully not too much. Requires writing a bot that talks to the GitHub API. It would need to:

  1. respond to a trigger somehow (e.g. a @refreeze-bot please refreeze comment to update a PR or a new please refreeze Issue to trigger a new PR)
  2. make a commit in an existing pull request and/or open a new pull request

Who can do this work?

  • Interest in / knowledge of the GitHub API
  • Interest in / knowledge of writing bots and deploying them somewhere (on heroku, etc.)

References:

  • henchbot which does pull requests for updates to repo2docker and binderhub for mybinder.org
  • conda-forge-admin bot which does things like add commits to pull requests to run common commands like @conda-forge-admin please rerender

Contributor guide

Tech stack
python
Domain
devops
Issue type
feature
DifficultyEstimated implementation difficulty for a new contributor, from 1 for very small changes to 5 for expert-level work.
3
Estimated timeA rough time range for an experienced contributor to investigate, implement, test, and prepare a pull request.
3-5 days
Activity statusHow available the issue appears right now: fresh, active, stale, blocked, or waiting on maintainer input.
active
ClarityHow clearly the issue explains the expected change, acceptance criteria, and next step.
clear
Prerequisites
GitHub API knowledgebot development experience
Newbie friendlinessA 1-100 score estimating how approachable this issue is for first-time contributors.
40
Research direction
This issue requests a bot to automatically refreeze base environments. The bot should respond to triggers like a @mention comment and make commits or open PRs. Key references include the henchbot and conda forge admin bot. A good starting point is to explore the freeze.py script in the repository and understand the existing CI/CD setup. Additionally, reviewing the GitHub API documentation for creating commits and pull requests is essential.