##// END OF EJS Templates
heptapod-ci: turn off pipelines for merge request events...
heptapod-ci: turn off pipelines for merge request events These are always duplicated by the external (from the user) push, or internal (from Heptapod itself) push pipeline, so they're entirely redundant.
Raphaël Gomès -
r51634:929655c0 stable
Show More
Name Size Modified Last Commit Author
/ hgext / highlight
__init__.py Loading ...
highlight.py Loading ...