Skip to content

fix: configure git identity in cleanup workflow#83

Merged
dignifiedquire merged 1 commit intomainfrom
fix/cleanup-workflow
Mar 17, 2026
Merged

fix: configure git identity in cleanup workflow#83
dignifiedquire 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-docs/pr/83/docs/iroh_docs/

Last updated: 2026-02-09T12:17:47Z

@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
@dignifiedquire dignifiedquire merged commit ec49201 into main Mar 17, 2026
22 of 24 checks passed
@github-project-automation github-project-automation bot moved this from 👀 In review to ✅ Done in iroh Mar 17, 2026
@dignifiedquire dignifiedquire deleted the fix/cleanup-workflow branch March 17, 2026 11:49
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