Skip to content

Git Local Tags not being Pushed to remote #2423

@lordofscripts

Description

@lordofscripts

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:

  1. Create repository with files locally. Create repository on Github
  2. Switch to Source Control on VSCodium
  3. Stage & Commit.
  4. Create Tag (successfully) name and description
  5. Publish to remote
  6. 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

Metadata

Metadata

Assignees

No one assigned

    Labels

    bugSomething isn't workingupstreamsomething awry in Microsoft's repo

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions