On Sat, Dec 19, 2015 at 08:09:39AM +0100, Edward Bartolo wrote:
> Hi All,
>
> Finally, I fully restored my local netman sources from a full system
> backup I made on the 8th December 2015. Updating was a matter of only
> deleting the netman/debian directory and using "git pull".
>
> My goal was always to use the least invasive of methods to recover my
> sources. This was why I was very cautious about using any git command
> that would impact the uploaded sources.
>
> This experience is shouting at me to always keep a backup whenever I git push.
>

Please allow me tpo disagree with your statement. This experience is
shouting at you to always read the documentation of a software before
using it. There is no need at all to make a backup whenever you git
push something, and your fear about git pull is just due to not being
confident enough in using git, or not having understood well how git
works. There is no shame in "not knowing" or "not underdtanding". Both
are just normal states, very common in all human beings, and can be
cured by studying.

There are ways in git to recover from almost any damage you can ever
think of making to your repository, without the need to make a backup
before every single pull. The "magic" recipes are in the git manual,
and some bits of that knowledge have been gently offered to you in
this ML. Books are made to be read, suggestions to be pondered, tips
to be tried.

HND

KatolaZ

--
[ Enzo Nicosia aka KatolaZ --- GLUG Catania -- Freaknet Medialab ]
[ me [at] katolaz.homeunix.net -- http://katolaz.homeunix.net -- ]
[ GNU/Linux User:#325780/ICQ UIN: #258332181/GPG key ID 0B5F062F ]
[ Fingerprint: 8E59 D6AA 445E FDB4 A153 3D5A 5F20 B3AE 0B5F 062F ]