Branch: refs/heads/master
Home: https://github.com/jenkinsci/badge-plugin
Commit: 1423c167d89b8ffdfaed1e4043360c236b302fb3
https://github.com/jenkinsci/badge-plugin/commit/1423c167d89b8ffdfaed1e4043360c236b302fb3
Author: Jean-Marc MEESSEN <jean-m...@meessen-web.org>
Date: 2022-09-12 (Mon, 12 Sep 2022)
Changed paths:
R .gitpod.Dockerfile
M .gitpod.yml
Log Message:
-----------
Optimize Gitpod config
Commit: 2d259f7692d2a23c23757b7518320ccb77251ce8
https://github.com/jenkinsci/badge-plugin/commit/2d259f7692d2a23c23757b7518320ccb77251ce8
Author: Jean-Marc MEESSEN <jean-m...@meessen-web.org>
Date: 2022-09-12 (Mon, 12 Sep 2022)
Changed paths:
R .gitpod.Dockerfile
M .gitpod.yml
Log Message:
-----------
Merge pull request #66 from jmMeessen/gitpod
Optimize Gitpod config
Compare:
https://github.com/jenkinsci/badge-plugin/compare/b91afe74b6d7...2d259f7692d2
--
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/badge-plugin/push/refs/heads/master/b91afe-2d259f%40github.com.
