w3c / github_sync Goto Github PK

This has two dependencies:

• the server having more a more up-to-date git
• git worktree handling submodules properly (as of 2.12.2 the man page cautions it doesn't)

This would be a better fix to excessive disk usage than #20 as it is less fragile, and allows us to share objects in PRs.

Is there still a way to get this code https://dev.w3.org/cvsweb/2001/DOM-Test-Suite/ added to the list of w3c list of github repos?

Raised by @annevk: URLs from w3c-bots lack a trailing slash: github.com/web-platform-tests/wpt/pull/5043#issuecomment-284193668

Raised by @domenic and @jgraham in IRC:

2017-02-27 21:31 Domenic Why is the bot continually telling me that the tests are available at w3c-test.org every time I push a commit

2017-02-28 19:33 jgraham jugglinmike: Oh I was going to say re: the bot. iirc the way it works is to always delete and repost the comment. But it shouldn't do that; it should edit the existing comment

cc @jugglinmike

Perhaps not worth it, I dunno.