Just a simple question that might seems dumb but I’m not a git expert!
Let’s say I delete a branch in local and push my delete. The branch will no longer be on my git repository.
But what’ll happen if then another user try to push a commit to this branch.
Will an error happen or will the branch be created again?
I wasn’t sure, so I tested it out. It probably depends on permissions, but a new branch will be created in the target repository with the HEAD at the other user’s latest commit.