How to remove credentials inadvertenly inserted in the git repo

git-bundle: package a git repository
git namespacing: share a codebase between repositories
git hooks: run custom executable on git actions

and more

git tag v1.0.0 8bad64f6e9 -f : the -f option force the tag to update if it already exists.
Then push with git push origin --tags --force

And I agree too, git sucks as UX.
I am the first one to be the git workflow breaker.

• git fetch --all --prune: drop all removed upstream branches
• git gc --aggressive: compress the .git repo

And the way to solve them

TL;DR: only fetch the branch master on large repository 👍

Git more user-friendly and rewritten in Rust. Mhmhmh OK, something to follow and see where it goes.

git config --global alias.squashbranch '! f() { git rebase -i $(git merge-base HEAD $1); }; f'

Then use it with git squashbranch origin/master

Oh ouiiiii ! A lightweight git repository hosting.
...lightweight 🤣
(via https://linuxfr.org/users/devnewton/liens/gitea-autohebergement-de-depots-git-facile)

All is explained here : Git can't watch all the files and detect changes between the Working Directory and the Staging Area. The node_modules directory is not ignored as expected.

I am using Ubuntu 20.04. Increasing the limit max_user_watches does not fix it for me (+ I have only 4GB of RAM).

Solution : putting the config from the default config file to the user one :

    "files.watcherExclude": {
        "**/.git/objects/**": true,
        "**/.git/subtree-cache/**": true,
        "**/node_modules/**": true,
        "**/.hg/store/**": true
    },

from the defaultSettings.json (Command palette : Preferences : Open default Settings (JSON)) to the userSettings.json (Command palette : Preferences : Open Settings (JSON)). WTF ?! But cool, it works 😎

A nice project dedicated to the highlighting of contributors