mirror of
https://review.coreboot.org/flashrom.git
synced 2025-04-26 22:52:34 +02:00
8ce4f98fc7
Fix broken links to dev guide and contact page Change-Id: Ide4a675049ff245e46001da1c7ef5769baf5a14e Signed-off-by: Anastasia Klimchuk <aklm@flashrom.org> Reviewed-on: https://review.coreboot.org/c/flashrom/+/76821 Tested-by: build bot (Jenkins) <no-reply@coreboot.org> Reviewed-by: Edward O'Callaghan <quasisec@chromium.org>
37 lines
1.8 KiB
YAML
37 lines
1.8 KiB
YAML
name: 'Close issues and PRs'
|
|
|
|
on:
|
|
issues:
|
|
types: opened
|
|
pull_request_target:
|
|
types: opened
|
|
|
|
permissions:
|
|
issues: write
|
|
pull-requests: write
|
|
|
|
jobs:
|
|
action:
|
|
runs-on: ubuntu-latest
|
|
steps:
|
|
- uses: dessant/repo-lockdown@0b093279a77b44bbc38e85089b5463dd06b4aea4
|
|
with:
|
|
issue-comment: >
|
|
Thank you for your contribution. The flashrom project does not handle
|
|
GitHub issues or pull requests, since this repository on GitHub is
|
|
just a mirror of our actual repository. Thus, we would like to
|
|
encourage you to have a look at on our [development guide](https://www.flashrom.org/dev_guide/development_guide.html)
|
|
and submit your patch to [review.coreboot.org](https://review.coreboot.org/q/project:flashrom).
|
|
Issues are handled over our [ticket system](https://ticket.coreboot.org/projects/flashrom).
|
|
If you have questions, feel free to reach out to us. There are
|
|
multiple ways to [contact us](https://www.flashrom.org/contact.html).
|
|
pr-comment: >
|
|
Thank you for your contribution. The flashrom project does not handle
|
|
GitHub issues or pull requests, since this repository on GitHub is
|
|
just a mirror of our actual repository. Thus, we would like to
|
|
encourage you to have a look at on our [development guide](https://www.flashrom.org/dev_guide/development_guide.html)
|
|
and submit your patch to [review.coreboot.org](https://review.coreboot.org/q/project:flashrom).
|
|
Issues are handled over our [ticket system](https://ticket.coreboot.org/projects/flashrom).
|
|
If you have questions, feel free to reach out to us. There are
|
|
multiple ways to [contact us](https://www.flashrom.org/contact.html).
|