Re: [dom] Use Boilerplate: omit feedback-header to remove redundant GitHub link (#74)

Do you not get any diff other than the changed date? I get this:
```diff
--- a/dom.html
+++ b/dom.html
@@ -69,9 +69,11 @@
   <div class="head">
    <p data-fill-with="logo"><a class="logo" href="https://whatwg.org/"> <img alt="WHATWG" height="100" src="https://resources.whatwg.org/logo-dom.svg"> </a> </p>
    <h1 class="p-name no-ref allcaps" id="title">DOM</h1>
-   <h2 class="no-num no-toc no-ref heading settled" id="subtitle"><span class="content">Living Standard — Last Updated <time class="dt-updated" datetime="2015-09-16">16 September 2015</time></span></h2>
+   <h2 class="no-num no-toc no-ref heading settled" id="subtitle"><span class="content">Living Standard — Last Updated <time class="dt-updated" datetime="2015-09-17">17 September 2015</time></span></h2>
    <div data-fill-with="spec-metadata">
     <dl>
+     <dt>Issue Tracking:
+     <dd><a href="https://github.com/whatwg/dom/issues/">GitHub</a>
      <dt>Participate:
      <dd><span><a href="https://github.com/whatwg/dom">GitHub whatwg/dom</a> (<a href="https://github.com/whatwg/dom/issues/new">new issue</a>, <a href="https://github.com/whatwg/dom/issues">open issues</a>, <a href="https://www.w3.org/Bugs/Public/buglist.cgi?component=DOM&amp;product=WebAppsWG&amp;resolution=---">legacy open bugs</a>)</span>
      <dd><span><a href="https://wiki.whatwg.org/wiki/IRC">IRC: #whatwg on Freenode</a></span>
```

Bikeshed does some automatic detection of GitHub repos, and I note that it doesn't work if the name of the remote isn't origin, so that seems like the most likely difference in setup.

I did the same fix in https://github.com/whatwg/mediasession/commit/d79b4452c6c80b08001287a2c1418bd00af1bd46

---
Reply to this email directly or view it on GitHub:
https://github.com/whatwg/dom/pull/74#issuecomment-141111183

Received on Thursday, 17 September 2015 14:50:34 UTC