##// 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 / contributing
testing
api.rst Loading ...
checklist-pull-request.rst Loading ...
checklist-tickets.rst Loading ...
contributing.rst Loading ...
db-schema.rst Loading ...
dependencies.rst Loading ...
dev-settings.rst Loading ...
dev-setup.rst Loading ...
frontend.rst Loading ...
overview.rst Loading ...
standards.rst Loading ...