Branch: refs/heads/master
Home: https://github.com/jenkinsci/docker-plugin
Commit: 55f95aa4235c1d3b930d71e90f4a19d2c6fa4e1e
https://github.com/jenkinsci/docker-plugin/commit/55f95aa4235c1d3b930d71e90f4a19d2c6fa4e1e
Author: Jean-Marc MEESSEN <jean-m...@meessen-web.org>
Date: 2022-09-10 (Sat, 10 Sep 2022)
Changed paths:
R .gitpod.Dockerfile
M .gitpod.yml
Log Message:
-----------
Optimize Gitpod config
Commit: 82d9b90bd71d195e5be810fa97f864cdb947c055
https://github.com/jenkinsci/docker-plugin/commit/82d9b90bd71d195e5be810fa97f864cdb947c055
Author: Jean-Marc MEESSEN <jean-m...@meessen-web.org>
Date: 2022-09-10 (Sat, 10 Sep 2022)
Changed paths:
R .gitpod.Dockerfile
M .gitpod.yml
Log Message:
-----------
Merge pull request #913 from jmMeessen/gitpod
Optimize Gitpod config
Compare:
https://github.com/jenkinsci/docker-plugin/compare/6bb665143e30...82d9b90bd71d
--
You received this message because you are subscribed to the Google Groups
"Jenkins Commits" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to jenkinsci-commits+unsubscr...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/jenkinsci-commits/jenkinsci/docker-plugin/push/refs/heads/master/6bb665-82d9b9%40github.com.
