-
Notifications
You must be signed in to change notification settings - Fork 1.4k
Description
Describe the bug
Using VSCodium's Git extension I staged all my local repository, then commited all the changes. Then I used it to Create Tag and that was good so far. Then I published and all went okay. I could see that locally the tag was created.
But, on the remote (GitHub) the tag was not created and the publish had not pushed it either. I had to manually push it from the command line.
Please confirm that this problem is VSCodium-specific
- I don't have VSCode, just Codium
Please confirm that the issue/resolution isn't already documented
- [ x]
To Reproduce
Steps to reproduce the behavior:
- Create repository with files locally. Create repository on Github
- Switch to Source Control on VSCodium
- Stage & Commit.
- Create Tag (successfully) name and description
- Publish to remote
- Check on GitHub.com
Expected behavior
Tag should be listed when creating release (select Tag), but it isn't there until I manually push the tag via the CLI.
Screenshots
If applicable, add screenshots to help explain your problem.
Desktop (please complete the following information):
- OS: Linux Debian 12
- Architecture amd64
- Version 1.100.23258 (2025-05-15)
- App Manager Gnome
- Sandboxed no
Additional context
Version: 1.100.23258
Commit: 557d9224936804f4aeb93625d7a45c97113627e4
Date: 2025-05-15T18:24:48.143Z
Electron: 34.5.4
ElectronBuildId: undefined
Chromium: 132.0.6834.210
Node.js: 20.19.0
V8: 13.2.152.41-electron.0
OS: Linux x64 6.1.0-37-amd64