Skip to content

Docs on updating pins - #14

Open
TomAugspurger wants to merge 1 commit into
pangeo-gallery:masterfrom
TomAugspurger:update-pin
Open

Docs on updating pins#14
TomAugspurger wants to merge 1 commit into
pangeo-gallery:masterfrom
TomAugspurger:update-pin

Conversation

@TomAugspurger

@TomAugspurger TomAugspurger commented Oct 27, 2020

Copy link
Copy Markdown
Contributor

This documents the process we went through to update the environments for @rsignell-usgs

  1. Added a package to pangeo-data/docker-images
  2. Pushed a tag to pangeo-data/docker-images
  3. Merged Bump pangeo/pangeo-notebook from 2020.10.10 to 2020.10.27 in /binder #13 from dependabot updating the image here.
  4. Pushed a tag here (manually). This should maybe be automated.
  5. Rich updates his binder_ref to point to the new tag in default-binder.

One point I'm not clear on: what triggers a rebuild on https://github.com/pangeo-gallery/pangeo-gallery / http://gallery.pangeo.io, such that the new content / new environment would be reflected there?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant