##// 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.

File last commit:

r712:e87a13fe default
r1334:68703a99 default
Show More
shared-styles.html
5 lines | 147 B | text/html | HtmlLexer
<dom-module id="shared-styles">
<template>
<link rel="stylesheet" href="../../../css/style-polymer.css">
</template>
</dom-module>