Add GitHub sponsor button to repo
Session from pi-for-excel-sessions on Hugging Face by thomasmustier · MIT · condensed by Coders Talk
2msession
1interventions
GOAL
Add a GitHub Sponsors button to the repository by creating a FUNDING.yml file and pushing it to main.
- +0Prompt · +0I just want to add a sponsor button per GitHub docs to my repo.
- +0mAgent did · +0mChecked git status, found local branch had 2 commits already squash-merged upstream, rebased onto origin/main to clean up history.
- +0mIntervention · +0mTold the agent not to push anything else beyond the sponsor file.Why: I didn't want the rebase or anything else pushed automatically, just wanted to be careful.
- +0mAgent did · +0mChecked for existing FUNDING.yml (none found) and asked which sponsor platform/links to use.
- +0mPrompt · +0mI guess just github?
- +0mAgent did · +0mLooked up git username, created .github/FUNDING.yml with the github key set to the user's username, and provided commit/push commands.
- +1mPrompt · +1mOh cool do it please
- +1mFail · +1mCommit and push succeeded but landed on the wrong branch (patch-1) instead of main.
- +2mAgent did · +2mChecked out main, fast-forward merged patch-1 into it, and pushed to origin/main.
- +2mOutcome · +2mFUNDING.yml pushed to main; sponsor button live on the repo.
VERDICT
Next time I'd tell it upfront to check the current branch before committing, since the wrong-branch commit was the only real hiccup. Catching that it was on patch-1 instead of main and fixing with a fast-forward merge is what actually got the button live. Otherwise a quick, low-effort task that mostly needed me to just confirm the sponsor platform.