FAQ

• Git :
• error : Your local changes to the following files would be overwritten by merge:
• git checkout HEAD^ file/to/overwrite
• git pull
• Discard modified files : 
• git reset --hard HEAD