Force push and dirty repository remove content
As reported by @pvignet in #18 (closed):
A push requires that the deposit is clean.
- Clean in git words means that no tracked file should have uncommitted changes.
- Here it ALSO means that ALL files in the repository must be tracked.
Files and folders which are explicitly not followed with a
.gitignore
are deleted without confirmation during the slatex > push. It's embarrassing and dangerous :pA push should be blocked only if the tracked files are modified and not commited. It should not concern others.