##// END OF EJS Templates
pull-request: force update pull-request in case of the target repo reference changes....
pull-request: force update pull-request in case of the target repo reference changes. - We should be able to force update a diff if the target repo reference changes. It will help detect commits that are pushed into the target from the origin. - Fixes #5266

File last commit:

r1:854a839a default
r1595:c00c09dd default
Show More
layout.html
18 lines | 559 B | text/html | HtmlLexer
{% extends "!layout.html" %}
{% set css_files = css_files + ['_static/add.css'] %}
{% block footer %}
{{ super() }}
<script>
(function(i,s,o,g,r,a,m){i['GoogleAnalyticsObject']=r;i[r]=i[r]||function(){
(i[r].q=i[r].q||[]).push(arguments)},i[r].l=1*new Date();a=s.createElement(o),
m=s.getElementsByTagName(o)[0];a.async=1;a.src=g;m.parentNode.insertBefore(a,m)
})(window,document,'script','//www.google-analytics.com/analytics.js','ga');
ga('create', 'UA-55639800-3', 'auto');
ga('send', 'pageview');
</script>
{% endblock %}