Branch: refs/heads/master
Home: https://github.com/jenkinsci/priority-sorter-plugin
Commit: a7c3ca1211337279830090d149bc4d0bd11da2bc
https://github.com/jenkinsci/priority-sorter-plugin/commit/a7c3ca1211337279830090d149bc4d0bd11da2bc
Author: Jean-Marc Meessen <jean-m...@meessen-web.org>
Date: 2022-07-29 (Fri, 29 Jul 2022)
Changed paths:
A .gitpod.Dockerfile
A .gitpod.yml
Log Message:
-----------
Improve Gitpod integration
PR to adapt and simplify Gitpod configuration. Accommodates Java 17 requirement
for VSC Language server
Commit: 46d093b6ab6f96da1ce9f89d8986fab34b10b874
https://github.com/jenkinsci/priority-sorter-plugin/commit/46d093b6ab6f96da1ce9f89d8986fab34b10b874
Author: Mark Waite <mark.earl.wa...@gmail.com>
Date: 2022-07-29 (Fri, 29 Jul 2022)
Changed paths:
A .gitpod.Dockerfile
A .gitpod.yml
Log Message:
-----------
Merge pull request #172 from jenkins-docs/multi-gitter-branch
Improve Gitpod integration
Compare:
https://github.com/jenkinsci/priority-sorter-plugin/compare/d4ceb1039cd2...46d093b6ab6f
--
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/priority-sorter-plugin/push/refs/heads/master/d4ceb1-46d093%40github.com.
