docs/dev: delete snippets and swh-py-template from the .mrconfig file
to prevent useless git clones and ease reporting the build environment
using 'mr run' commands.
Description
Description
Details
Details
- Provenance
douardda Authored on Nov 30 2018, 11:55 AM douardda Pushed on Nov 30 2018, 12:06 PM - Differential Revision
- D750: docs/dev: better revisions reporting and delete snippets and swh-py-template from the .mrconfig file
- Parents
- rCJSWHc798a041db58: Make the swh-docs/dev job fail on sphinx warnings
- Branches
- Unknown
- Tags