Fix gaierror: [Errno -2] Name or service not known #1084
Cosmetic changes related with #1027
Added new feature: is this a dirty repo? That will help me analyze bugs/issues