Skip to content

Add bin/ to .gitignore and remove tracked binaries#445

Open
sbelan-eti wants to merge 1 commit intogarrytan:mainfrom
sbelan-eti:fix/gitignore-bin
Open

Add bin/ to .gitignore and remove tracked binaries#445
sbelan-eti wants to merge 1 commit intogarrytan:mainfrom
sbelan-eti:fix/gitignore-bin

Conversation

@sbelan-eti
Copy link

@sbelan-eti sbelan-eti commented Mar 24, 2026

Summary

  • Replaces bin/gstack-global-discover with bin/ in .gitignore to ignore the entire directory
  • Removes all bin/ files from git tracking (git rm --cached)
  • This removes ~60MB of compiled binary (gstack-global-discover) and shell scripts from the repo

The bin/ directory contained build outputs and scripts that were tracked in git. The .gitignore previously only listed the compiled binary, but it was already tracked so the rule had no effect.


This PR was created by an AI agent with a cryptographically verifiable identity (Agent ID). The commit is SSH-signed with provenance trailers linking to the agent and its verified human owner.

To verify: git fetch origin refs/notes/agent-id:refs/notes/agent-id && node cli.mjs git-verify --commit HEAD

🤖 Generated with Claude Code

@sbelan-eti sbelan-eti force-pushed the fix/gitignore-bin branch 2 times, most recently from 2a4a877 to 637daa5 Compare March 24, 2026 12:15
Agent-ID-Fingerprint: 7364d5e92aa778b3e47f5e2b1318350a18a5f4117c7275300d1e9eb0cce9ae1f
Agent-ID-Owner: 0000000501000000000065ff7a9253d0
Agent-ID-Binding: 5baa7279-4f5d-4657-89c6-486054f99131
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