diff --git a/.github/workflows/update-lsr-version-comment-on-pr.yml b/.github/workflows/update-lsr-version-comment-on-pr.yml new file mode 100644 index 00000000..72c55865 --- /dev/null +++ b/.github/workflows/update-lsr-version-comment-on-pr.yml @@ -0,0 +1,20 @@ +name: PR Message + +on: + pull_request: + types: [opened] + +jobs: + message: + runs-on: ubuntu-latest + steps: + - name: Post PR message + uses: actions/github-script@v7 + with: + script: | + github.rest.issues.createComment({ + issue_number: context.issue.number, + owner: context.repo.owner, + repo: context.repo.repo, + body: 'Once this PR is merged and the language-server-runtime package is published, please ensure the corresponding version that contains this commit is updated in language-servers too!' + }) \ No newline at end of file