Branch: refs/heads/master
Home: https://github.com/jenkinsci/promoted-builds-plugin
Commit: 91eb30457eb264fec3cf742ed928b39f4f3aac2b
https://github.com/jenkinsci/promoted-builds-plugin/commit/91eb30457eb264fec3cf742ed928b39f4f3aac2b
Author: Jean-Marc MEESSEN <jean-m...@meessen-web.org>
Date: 2022-09-13 (Tue, 13 Sep 2022)
Changed paths:
R .gitpod.Dockerfile
M .gitpod.yml
Log Message:
-----------
Optimize Gitpod configuration
Commit: 77b4c0cca25e5f7beeb9f8f6a0718af3408214d3
https://github.com/jenkinsci/promoted-builds-plugin/commit/77b4c0cca25e5f7beeb9f8f6a0718af3408214d3
Author: Jean-Marc MEESSEN <jean-m...@meessen-web.org>
Date: 2022-09-13 (Tue, 13 Sep 2022)
Changed paths:
R .gitpod.Dockerfile
M .gitpod.yml
Log Message:
-----------
Merge pull request #221 from jmMeessen/gitpod
Optimize Gitpod configuration
Compare:
https://github.com/jenkinsci/promoted-builds-plugin/compare/d6219fc0aefb...77b4c0cca25e
--
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/promoted-builds-plugin/push/refs/heads/master/d6219f-77b4c0%40github.com.
