[02:18:46] 10Gitblit-Deprecate, 10Epic, 10MW-1.30-release-notes (WMF-deploy-2017-07-18_(1.30.0-wmf.10)), 10Patch-For-Review: Fix references to git.wikimedia.org in all repos - https://phabricator.wikimedia.org/T139089#3722201 (10TerraCodes) Weird, GitHub's search shows a lot more, tho that could just be due to the se... [13:58:41] 10Phabricator: Disable 2FA for user: KartikMistry - https://phabricator.wikimedia.org/T179390#3723181 (10Arrbee) [13:59:29] 10Phabricator: Disable 2FA for user: KartikMistry - https://phabricator.wikimedia.org/T179390#3723207 (10Arrbee) [16:01:43] 10Project-Admins: Create project dawiki - https://phabricator.wikimedia.org/T179410#3723780 (10SimmeD) [16:10:48] 10Project-Admins: Create project dawiki - https://phabricator.wikimedia.org/T179410#3723802 (10Aklapper) Sure. :) Could you provide a project description please? See https://www.mediawiki.org/wiki/Phabricator/Creating_and_renaming_projects http://tools.wmflabs.org/dawiki/ seems to be a 404 currently (still)... [16:34:54] 10Project-Admins: Create project dawiki - https://phabricator.wikimedia.org/T179410#3723883 (10SimmeD) The 404 page is fixed. I've made some project descriptions here: https://toolsadmin.wikimedia.org/tools/id/dawiki if that is what you mean? [21:08:31] 10GitHub-Mirrors, 10Epic, 10Phabricator (Upstream), 10Upstream: Create system to sync GitHub issues with Phabricator - https://phabricator.wikimedia.org/T86991#3724702 (10Tgr) [21:10:21] 10GitHub-Mirrors: Review and update GitHub mirror repo descriptions with standard text - https://phabricator.wikimedia.org/T114616#3724703 (10Tgr) Since early 2017 GitHub descriptions can also have [[https://github.com/blog/2309-introducing-topics|topics]]. Would be nice to add to our major software projects at... [21:12:43] 10GitHub-Mirrors: Actually give the source URL of the repo from GitHub - https://phabricator.wikimedia.org/T109939#3724727 (10Tgr) [21:12:45] 10GitHub-Mirrors: GitHub repository descriptions should point directly to the Gerrit projects - https://phabricator.wikimedia.org/T153614#3724724 (10Tgr) [21:13:56] 10GitHub-Mirrors: Actually give the source URL of the repo from GitHub - https://phabricator.wikimedia.org/T109939#1563228 (10Tgr) Alternative proposal, from T153614: > GitHub mirror of https://gerrit.wikimedia.org/r/#/admin/projects/ – please see https://www.mediawiki.org/wiki/Developer_access for cont... [21:18:08] 10GitHub-Mirrors: Should Wikimedia have standard policies for managing github mirror repos? - https://phabricator.wikimedia.org/T136863#3724737 (10Tgr) >>! In T136863#3063148, @Tgr wrote: > Also, having CONTRIBUTING.md files [[https://github.com/blog/1184-contributing-guidelines|could be helpful]]. An example r... [21:21:08] 10GitHub-Mirrors: Actually give the source URL of the repo from GitHub - https://phabricator.wikimedia.org/T109939#3724744 (10Tgr) git.wikimedia.org has perished, and the gerrit admin page and the Phabricator repo page both utterly suck as a landing page. I think it would be better to use the description as it's... [21:23:26] 10GitHub-Mirrors: Actually give the source URL of the repo from GitHub - https://phabricator.wikimedia.org/T109939#3724756 (10Tgr) [21:25:15] 10GitHub-Mirrors: Should Wikimedia have standard policies for managing github mirror repos? - https://phabricator.wikimedia.org/T136863#3724758 (10Tgr) [21:27:18] 10GitHub-Mirrors: Review and update GitHub mirror repo descriptions with standard text - https://phabricator.wikimedia.org/T114616#3724764 (10Tgr) [21:29:35] 10GitHub-Mirrors: Review and update GitHub mirror repo descriptions with standard text - https://phabricator.wikimedia.org/T114616#3724768 (10Tgr) The gerrit admin page and the Phabricator repo page both utterly suck as a landing page. I think it would be better to use the description as it's normally intended,... [21:29:51] 10GitHub-Mirrors, 10User-Tgr: Should Wikimedia have standard policies for managing github mirror repos? - https://phabricator.wikimedia.org/T136863#2350295 (10Tgr) [21:35:47] 10GitHub-Mirrors, 10wikisource-api: Incorrect link in main description of wikisource-api on its GitHub page - https://phabricator.wikimedia.org/T179121#3724803 (10Tgr) I googled around a bit but did not find anything useful. Maybe link to https://phabricator.wikimedia.org/project/profile/2349/ ?