Branch: refs/heads/master
Home: https://github.com/jenkinsci/http-request-plugin
Commit: 543118de6e04bac544bc7af39a87d9fcd8ee3888
https://github.com/jenkinsci/http-request-plugin/commit/543118de6e04bac544bc7af39a87d9fcd8ee3888
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: e9410f970dd2c33fb7e817f0c7e8e2de19670704
https://github.com/jenkinsci/http-request-plugin/commit/e9410f970dd2c33fb7e817f0c7e8e2de19670704
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 #112 from jmMeessen/gitpod
Optimize Gitpod config
Compare:
https://github.com/jenkinsci/http-request-plugin/compare/e062093b734e...e9410f970dd2
--
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/http-request-plugin/push/refs/heads/master/e06209-e9410f%40github.com.
