Skip to content

fix: configure git identity in cleanup workflow#38

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

fix: configure git identity in cleanup workflow#38
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/n0-error/pr/38/docs/n0_error/

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

@Arqu Arqu merged commit 44113ca into main Feb 10, 2026
15 checks passed
@Arqu Arqu deleted the fix/cleanup-workflow branch February 10, 2026 10:37
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant