Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

VSCode + java updates #905

Merged
merged 1 commit into from
Sep 18, 2024
Merged

Conversation

steccothal
Copy link
Contributor

In vscode/java Docker image
-Changed JDK
-Fixed workspace folders permission issue

@steccothal steccothal requested a review from a team as a code owner June 3, 2024 08:51
@kingmakerbot
Copy link
Collaborator

Hi @steccothal. Thanks for your PR.

I am @kingmakerbot.
You can interact with me issuing a slash command in the first line of a comment.
Currently, I understand the following commands:

  • /rebase: Rebase this PR onto the master branch
  • /merge: Merge this PR into the master branch
  • /hold: Adds hold label to prevent merging with /merge
  • /unhold: Removes the hold label to allow merging with /merge
  • /deploy-staging: Deploy a staging environment to test this PR (the build-all flag enables user environments building)
  • /undeploy-staging: Manually undeploy the staging environment

Make sure this PR appears in the CrownLabs changelog, adding one of the following labels:

  • kind/breaking: 💥 Breaking Change
  • kind/feature: 🚀 New Feature
  • kind/bug: 🐛 Bug Fix
  • kind/cleanup: 🧹 Code Refactoring
  • kind/docs: 📝 Documentation

@QcFe QcFe changed the base branch from qcfe/vscode-java to master June 3, 2024 09:17
@pull-request-size pull-request-size bot added size/L and removed size/S labels Jun 3, 2024
@QcFe
Copy link
Collaborator

QcFe commented Jun 3, 2024

/rebase

-Changed JDK
-Fixed workspace folders permission issue

Co-authored-by: Marco Torchiano <[email protected]>
Co-authored-by: Stefano Mancini <[email protected]>
@air-31 air-31 merged commit b815541 into netgroup-polito:master Sep 18, 2024
31 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants