[sr-dev] git:master:68df10a2: Revert "github: small additition related to file line endings and windows editors"