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

r882:d869b56a default
r1595:c00c09dd default
Show More
rhodecode-favicon.js
20 lines | 425 B | application/javascript | JavascriptLexer
Polymer({
is: 'rhodecode-favicon',
properties: {
favicon: Object,
counter: {
type: Number,
observer: '_handleCounter'
}
},
ready: function () {
this.favicon = new Favico({
type: 'rectangle',
animation: 'none'
});
},
_handleCounter: function (newVal, oldVal) {
this.favicon.badge(this.counter);
}
});