switched to HTTPS
[svjatoslav_commons.git] / tools / commit and push
2019-01-18 Svjatoslav Agejenkoprefer HTTPS in documentation