Skip to content

Commit 5435aaa

Browse files
author
Kostadinos J Kyprianos
authored
Update badge.html
1 parent e86f2df commit 5435aaa

File tree

1 file changed

+43
-1
lines changed

1 file changed

+43
-1
lines changed

_includes/badge.html

Lines changed: 43 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,46 @@
1-
{%- assign repo = include.repo | default: site.github.repository_owner | append: "/" | append: site.github.repository_name -%}
1+
# .github/workflows/copilot-badge-updater.yml
2+
name: 📜 Copilot Badge Updater
3+
4+
on:
5+
issues:
6+
types: [opened]
7+
# optional: filter by label
8+
# filters:
9+
# labels: ["auto-badge"]
10+
11+
jobs:
12+
assign-and-update:
13+
runs-on: ubuntu-latest
14+
permissions:
15+
issues: write
16+
contents: write
17+
18+
steps:
19+
- name: Assign issue to Copilot
20+
uses: peter-evans/assign-issue@v3
21+
with:
22+
assignees: github-actions[bot]
23+
24+
- name: Checkout repo
25+
uses: actions/checkout@v3
26+
27+
- name: Generate Updated Badge
28+
run: |
29+
# invoke Copilot via GitHub CLI (beta)
30+
gh issue comment ${{ github.event.issue.number }} \
31+
--body "/copilot edit: update badge for workflow changes"
32+
33+
- name: Wait for Copilot Commit
34+
run: |
35+
echo "⏳ Waiting for Copilot agent to commit changes…"
36+
sleep 30 # adjust as needed
37+
38+
- name: Create Pull Request
39+
uses: peter-evans/create-pull-request@v5
40+
with:
41+
commit-message: "chore(ci): Copilot-updated badge"
42+
title: "chore: badge update via Copilot"
43+
body: "This PR was created by Copilot in response to #${{ github.event.issue.number }}."{%- assign repo = include.repo | default: site.github.repository_owner | append: "/" | append: site.github.repository_name -%}
244
{%- assign file = include.file | default: "mythic-sigil-pipeline.yml" -%}
345
{%- assign branch = include.branch | default: "main" -%}
446
{%- assign label = include.label | default: "Sigil Pipeline" -%}

0 commit comments

Comments
 (0)