Skip to content

Documentation update: Add VSCode and url fixes to IDE page#13014

Merged
mkurz merged 2 commits into
playframework:mainfrom
TimothyFothergill:documentation-update-ide
Feb 18, 2025
Merged

Documentation update: Add VSCode and url fixes to IDE page#13014
mkurz merged 2 commits into
playframework:mainfrom
TimothyFothergill:documentation-update-ide

Conversation

@TimothyFothergill
Copy link
Copy Markdown
Contributor

Pull Request Checklist

Helpful things

Fixes

Fixes #12485

Purpose

  • Adds instructions for getting VS Code setup
  • Updates to a few broken urls

Background Context

Noticed this was a raised issue from a while back and hadn't been implemented yet

References

#12485

Copy link
Copy Markdown
Member

@mkurz mkurz left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks! This page needs a bit more work I guess, but at least we now mention vscode and
metals.

@mkurz
Copy link
Copy Markdown
Member

mkurz commented Feb 18, 2025

@Mergifyio backport 3.0.x 2.9.x

@mergify
Copy link
Copy Markdown
Contributor

mergify Bot commented Feb 18, 2025

@mergify
Copy link
Copy Markdown
Contributor

mergify Bot commented Feb 18, 2025

This pull request has been removed from the queue for the following reason: pull request branch update failed.

The pull request can't be updated

You should look at the reason for the failure and decide if the pull request needs to be fixed or if you want to requeue it.

If you want to requeue this pull request, you need to post a comment with the text: @mergifyio requeue

@mkurz
Copy link
Copy Markdown
Member

mkurz commented Feb 18, 2025

@Mergifyio rebase

@mergify
Copy link
Copy Markdown
Contributor

mergify Bot commented Feb 18, 2025

rebase

✅ Branch has been successfully rebased

@mkurz mkurz force-pushed the documentation-update-ide branch from eebad26 to 61b91ef Compare February 18, 2025 22:53
@mkurz
Copy link
Copy Markdown
Member

mkurz commented Feb 18, 2025

@Mergifyio queue

@mergify
Copy link
Copy Markdown
Contributor

mergify Bot commented Feb 18, 2025

queue

🛑 The pull request has been removed from the queue default

Details

The pull request can't be updated.

You can take a look at Queue: Embarked in merge queue check runs for more details.

In case of a failure due to a flaky test, you should first retrigger the CI.
Then, re-embark the pull request into the merge queue by posting the comment
@mergifyio refresh on the pull request.

@mergify
Copy link
Copy Markdown
Contributor

mergify Bot commented Feb 18, 2025

This pull request has been removed from the queue for the following reason: pull request branch update failed.

The pull request can't be updated

You should look at the reason for the failure and decide if the pull request needs to be fixed or if you want to requeue it.

If you want to requeue this pull request, you need to post a comment with the text: @mergifyio requeue

@mkurz mkurz merged commit 05dbe6a into playframework:main Feb 18, 2025
mergify Bot added a commit that referenced this pull request Feb 19, 2025
[2.9.x] Documentation update: Add VSCode and url fixes to IDE page (backport #13014) by @TimothyFothergill
mergify Bot added a commit that referenced this pull request Feb 19, 2025
[3.0.x] Documentation update: Add VSCode and url fixes to IDE page (backport #13014) by @TimothyFothergill
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.

Recommend Scala Metals + VSCode as an IDE on this page: https://www.playframework.com/documentation/2.9.x/IDE

2 participants