##// END OF EJS Templates
pull-request: introduced new merge-checks....
pull-request: introduced new merge-checks. - merge checks show nicer UI for status of merge approval inside PR - merge checks now also forbid a merge if TODO notes are present - use global refresh merge check when submitting comments. It no longer required page reload when submitting status change.
marcink -
r1334:68703a99 default
Show More
Name Size Modified Last Commit Author
/ docs / extensions
config-ext.rst Loading ...
example-ext.py Loading ...
extensions-hooks.rst Loading ...
extensions.rst Loading ...
full-blown-example.rst Loading ...
hooks.rst Loading ...
install-ext.rst Loading ...
int-slack.rst Loading ...
rcx.rst Loading ...