This repository was archived by the owner on Oct 9, 2023. It is now read-only.
File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 1+ blank_issues_enabled : false
2+ contact_links :
3+ - name : " GLPI professional support"
4+ url : " https://services.glpi-network.com"
5+ about : " Get professional support from the editor and a network of local partners."
6+ - name : " Find an official partner"
7+ url : " https://glpi-project.org/partners/"
8+ about : " Get support to deploy GLPI in a professional manner."
9+ - name : " GLPI Community Forum"
10+ url : " https://forum.glpi-project.org"
11+ about : " Ask questions and get help from the community."
Original file line number Diff line number Diff line change 1+ name : " Close issues"
2+
3+ on :
4+ issues :
5+ types : ["opened"]
6+
7+ jobs :
8+ close-issue :
9+ permissions :
10+ issues : " write"
11+ name : " Close issue"
12+ runs-on : " ubuntu-latest"
13+ steps :
14+ - uses : " actions/github-script@v6"
15+ with :
16+ script : |
17+ const issues_url = context.serverUrl + '/' + context.repo.owner + '/' + context.repo.repo + '/issues/new/choose';
18+ await github.rest.issues.createComment({
19+ issue_number: context.issue.number,
20+ owner: context.repo.owner,
21+ repo: context.repo.repo,
22+ body: `Issues opened on this repository are not processed. Please follow links proposed in ${issues_url}.`
23+ });
24+ await github.rest.issues.lock({
25+ issue_number: context.issue.number,
26+ owner: context.repo.owner,
27+ repo: context.repo.repo,
28+ });
29+ await github.rest.issues.update({
30+ issue_number: context.issue.number,
31+ owner: context.repo.owner,
32+ repo: context.repo.repo,
33+ state: "closed",
34+ });
You can’t perform that action at this time.
0 commit comments