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.