there’s git push -f, but i think it’s prohibited
# development
w
there’s git push -f, but i think it’s prohibited