Skip to content

chore(console): fix dev script #1096

chore(console): fix dev script

chore(console): fix dev script #1096

name: PR Creation Comment
on:
pull_request_target:
types:
- opened
permissions:
contents: read
pull-requests: write
jobs:
comment:
runs-on: ubuntu-latest
if: ${{ !startsWith(github.head_ref, 'mergify/merge-queue/') }}
steps:
- name: Comment on new PR
uses: thollander/actions-comment-pull-request@v2
with:
message: |
Thanks for opening this pull request! :tada:
Please consult the [contributing guidelines](https://www.winglang.io/contributing) for details on how to contribute to this project.
If you need any assistance, don't hesitate to ping the relevant owner over [Discord](https://t.winglang.io/discord).
| Topic | Owner |
|-----------------------------------------------------|---------------------------------------------------------------|
| Wing SDK and standard library | `@chriscbr`
| Wing Console | `@skyrpex`
| Wing compiler and language design | `@chriscbr`
| VSCode extension and language server | `@chriscbr`
| Wing CLI | `@chriscbr`
| Documentation | `@boyney123`
| Examples | `@boyney123`
| Wing Playground | `@skyrpex`
comment_tag: New PR
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}