Skip to content

AGENTS.md: record delete_branch_on_merge + disabled Wiki/Projects settings - #26

Merged
Laaaaksh merged 1 commit into
masterfrom
gnhf/get-writ-ready-for-p-e732ec
Aug 22, 2026
Merged

AGENTS.md: record delete_branch_on_merge + disabled Wiki/Projects settings#26
Laaaaksh merged 1 commit into
masterfrom
gnhf/get-writ-ready-for-p-e732ec

Conversation

@Laaaaksh

Copy link
Copy Markdown
Owner

Summary

Lands the AGENTS.md memory update from iteration 66 so future agents (and humans auditing settings) don't misdiagnose two intentional repo-settings choices:

  • delete_branch_on_merge is on: after any PR merges — including this run's own gnhf branch PRs — GitHub deletes that head branch from origin. The note says to re-push the local branch to recreate it and not to misread the vanished origin ref as data loss.
  • Wiki/Projects tabs are deliberately disabled: recorded so a future settings audit doesn't "fix" them back on.

Both facts were established in iteration 66 by verified API PATCH + re-read; this commit only records them in project memory. No code changes.

Verification

  • gofmt -l . clean
  • go build ./... pass
  • go vet ./... pass
  • go test ./... -race -count=1 green across all six packages

…: enabled delete_branch_on_merge and disabled the unused Wiki/Projects tabs on Laaaaksh/writ via verified API PATCHes (preventing recurrence of the stale merged branches iteration 65 manually cleaned), recorded the sharp edges in AGENTS.md, and re-verified full closure (all doc URLs live, v0.2.4..HEAD docs-only, branch protection intact, build/vet/gofmt clean, whole-repo go test -race -count=1 green).
@Laaaaksh
Laaaaksh merged commit 9f91ebb into master Aug 22, 2026
3 checks passed
@Laaaaksh
Laaaaksh deleted the gnhf/get-writ-ready-for-p-e732ec branch August 22, 2026 05:16
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