Skip to content

fix: configure git identity in cleanup workflow#89

Merged
Arqu merged 1 commit intomainfrom
fix/cleanup-workflow
Feb 10, 2026
Merged

fix: configure git identity in cleanup workflow#89
Arqu merged 1 commit intomainfrom
fix/cleanup-workflow

Conversation

@Arqu
Copy link
Copy Markdown
Contributor

@Arqu Arqu commented Feb 9, 2026

Summary

  • The clean_docs_branch job fails with fatal: empty ident name because no git user.name/user.email is configured on the runner
  • Also adds a guard for the "nothing to commit" case (when ≤25 PR dirs exist)

Same fix as n0-computer/iroh#3920

@github-actions
Copy link
Copy Markdown

github-actions bot commented Feb 9, 2026

Documentation for this PR has been generated and is available at: https://n0-computer.github.io/iroh-metrics/pr/89/docs/iroh_metrics/

Last updated: 2026-02-09T12:16:56Z

@n0bot n0bot bot added this to iroh Feb 9, 2026
@github-project-automation github-project-automation bot moved this to 🚑 Needs Triage in iroh Feb 9, 2026
@dignifiedquire dignifiedquire moved this from 🚑 Needs Triage to 👀 In review in iroh Feb 9, 2026
@Arqu Arqu merged commit 17db341 into main Feb 10, 2026
26 of 27 checks passed
@github-project-automation github-project-automation bot moved this from 👀 In review to ✅ Done in iroh Feb 10, 2026
@Arqu Arqu deleted the fix/cleanup-workflow branch February 10, 2026 10:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: ✅ Done

Development

Successfully merging this pull request may close these issues.

2 participants