Skip to content

Rename the commit task to "Commit & Push", ignore build artifacts - #6

Merged
patrick-werner merged 3 commits into
mainfrom
commit-and-push
Aug 19, 2026
Merged

Rename the commit task to "Commit & Push", ignore build artifacts#6
patrick-werner merged 3 commits into
mainfrom
commit-and-push

Conversation

@patrick-werner

Copy link
Copy Markdown
Contributor

Why

Two problems with the commit button, one of them a live bug.

It committed build artifacts. git add -A ran over a repository that did not ignore json-resources.zip — the file the sibling "Download: JSON Resources" task creates. One click on each button was enough to commit it. .idea/ had the same problem.

Its name overpromised. "Commit" reads as my work is saved, while the commit stayed inside a Codespace that can be deleted.

What changed

  • .gitignore covers json-resources.zip and .idea/.
  • The task is now "Git: Commit & Push" — in tasks.json, in the task button in settings.json, and in both READMEs.

The behaviour behind it lives in the image: Gefyra/igpublisher-devcontainer-image#3 makes ig-commit list what it staged and push with git push -u origin HEAD.

Verification

Check Result
json-resources.zip ignored
.idea/ ignored
output/full-ig.zip still ignored
git add -A in a working tree picks up only the intended files
Old task name left anywhere no
tasks.json, settings.json both parse

Note

Merge Gefyra/igpublisher-devcontainer-image#3 and let the image rebuild first. Until then the renamed task calls an ig-commit that commits without pushing — which works, but does not do what the new label says.

🤖 Generated with Claude Code

https://claude.ai/code/session_01EXNRSuZCTZ897kqXgaj3x6

patrick-werner and others added 2 commits August 19, 2026 08:45
The task button said "Commit", which reads as *my work is safe* while the
commit sat inside a Codespace that can be deleted. It now pushes as well
(Gefyra/igpublisher-devcontainer-image#3) and the label says so.

The task also ran `git add -A` over a repository that did not ignore
`json-resources.zip` — a file the sibling "Download: JSON Resources"
task produces — so one click on each button committed a build artifact.
That file and `.idea/` are ignored now.

Renamed in tasks.json, in the task button in settings.json and in both
READMEs.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01EXNRSuZCTZ897kqXgaj3x6
@github-actions

Copy link
Copy Markdown
Contributor

The commit task stages everything, which is what lets it be a single
button, and the README did not say where to go when that is the wrong
tool. It now names VS Code's Source Control panel for picking individual
files or reading a diff first.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01EXNRSuZCTZ897kqXgaj3x6
@patrick-werner
patrick-werner merged commit a66c850 into main Aug 19, 2026
2 checks passed
@patrick-werner
patrick-werner deleted the commit-and-push branch August 19, 2026 06:50
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