User talk:QChrisNonWMF

device_analytics
Hi @QChrisNonWMF generated-data-platform/aqs/device_analytics is just fine


 * Thanks for confirming! --QChrisNonWMF (talk) 22:21, 10 November 2022 (UTC)

✅ --QChrisNonWMF (talk) 22:21, 10 November 2022 (UTC)

Code import of extensions/CIForms
@QChrisNonWMF With reference to the following @Thomas-topway-it: By „mirror”, do you mean „One-time import of the code and then the development will continue on Gerrit” or do you mean „Development will stay on GitHub and changes there should automatically be picked up by Gerrit”? The former would work, but we (currently) cannot do the latter :-/ --QChrisNonWMF (talk) 07:10, 4 February 2021 (UTC) hello Chris, sure I mean "One-time import of the code and then the development will continue on Gerrit", I have created that repository to just allow you to pick-up the code. So this is the fixed request for the New_repositories/Requests page, if possible replace with it those previously entered


 * mediawiki/extensions/CIForms
 * Thomas
 * Merge review
 * Please import the repository https://github.com/thomas-topway-it/CIForms for the development on Gerrit and the download from ExtensionDistributor. This is the extension page Extension:CIForms and this is the help page Help:Extension:CIForms thank you! User:thomas-topway-it
 * Please import the repository https://github.com/thomas-topway-it/CIForms for the development on Gerrit and the download from ExtensionDistributor. This is the extension page Extension:CIForms and this is the help page Help:Extension:CIForms thank you! User:thomas-topway-it


 * I've created the repo and imported the code from GitHub, but I fail to find your user in our LDAP (so I can grant your LDAP account access to the repo). Did you sign up yet for a developer account? If so, what's your username? Does logging into WMF's Gerrit work for you? --QChrisNonWMF (talk) 22:42, 5 February 2021 (UTC)


 * Hello Chris, thanks. I have now created an account on https://wikitech.wikimedia.org with the same username, thomas-topway-it


 * Great! I've added you as repo owner for mediawiki/extensions/CIForms. --QChrisNonWMF (talk) 10:51, 8 February 2021 (UTC)

✅ --QChrisNonWMF (talk) 10:51, 8 February 2021 (UTC)


 * Hello Chris, thank you, I have uploaded a commit here

https://gerrit.wikimedia.org/r/c/mediawiki/extensions/CIForms/+/663043 but I'm not sure how to update consequently the repository here https://github.com/wikimedia/mediawiki-extensions-CIForms or here https://gerrit.wikimedia.org/g/mediawiki/extensions/CIForms perhaps that cannot be done directly and I need to add a reviewer ? In this case, can you suggest one ? thank you

purged repo mirror name
Hi Chris, I'm fine with using wikimedia/operations-software-purged for the mirror of the repo requested on https://www.mediawiki.org/wiki/Gerrit/New_repositories/Requests. Thanks. --Ema

✅ Cool beans. Repo got created at operations/software/purged --QChrisNonWMF (talk) 09:35, 13 April 2020 (UTC)

Wiktionary Cognate Dashboard
Hi Chris, thank you for creating the Wiktionary Cognate Dashboard repo. However, we need it under analytics/wmde/WiktionaryCognateDashboard, not labs/tools/WiktionaryCognateDashboard. My apologies if I haven't been clear in respect to this, I work as a Data Scientist for WMDE and have many repositories under analytics/wmde/ already...


 * ✅ Hi Goran, no worries. I've re-created the repo as analytics/wmde/WiktionaryCognateDashboard --QChrisNonWMF (talk) 22:19, 9 August 2018 (UTC)

Push right
Hi Chris, thanks for creating the repos at wikipedia/wikiwidgets/Formicarium and wikipedia/wikiwidgets/Vivarium. Today I tried to push some changes but found that I don't have push rights to the repo. You mentioned something about giving Submit privilege to myself, but I'm not sure if we're talking about the same thing or how can I do that. Can you help me out? Thanks! --Felipe (talk) 18:51, 23 June 2015 (UTC)
 * ✅ Hi Felipe, the repos have been requested with “Merge review” in the “Preferred Model” column, and therefore direct Push permission has not been granted. To get Push permission right from the start, request repos with “Open push” as “Preferred Model”. I now switched both repos to “Open push”, and direct pushing should now work for them. --QChrisNonWMF (talk) 19:20, 23 June 2015 (UTC)
 * Thanks, I've pushed the changes. --Felipe (talk) 03:32, 27 June 2015 (UTC)

Can you please add existing https://www.mediawiki.org/wiki/Extension:FileProtocolLinks to git
https://phabricator.wikimedia.org/T111361 --Planetenxin (talk) 14:37, 3 September 2015 (UTC)
 * ✅ Thanks. Let's discuss in that phabricator task then. --QChrisNonWMF (talk) 08:26, 4 September 2015 (UTC)

Add you to gitblit
Hi I have added you to the https://phabricator.wikimedia.org/tag/gitblit/ project because gerrit and gitblit projects were split and as you are a member of gerrit project I thought that you can be added to gitblit. please remove your self if you doint want to be a member. Paladox2017 (talk) 21:11, 18 September 2015 (UTC)


 * In so many discussions I've asked you nicely to not add me to random things. And I also told you in so many occasions that I prefer to handle myself where I get added. This is the last warning. If you'll again add me to random stuff, I'll escalate. --QChrisNonWMF (talk) 22:08, 18 September 2015 (UTC)


 * Ok sorry I won't do it any more. What if I want to ask you something like @username woulden I have to add you to the task temporarily until you answer or want to remove your self. Would @username notify you without adding you to the task. 151.227.77.167 22:58, 18 September 2015 (UTC)


 * What's more relevant to me is if you really want to ask me specifically :-)
 * If you have a question around code that I wrote/maintain, and you want to ask me specifically, that's just fine. Ask me. Add me to the change. Send me a message. Send me an email. Ping me in IRC. That's all fine.
 * But adding me to changes on projects that I never worked on or even looked at, is different. Please address such questions to people who are in charge of that code.
 * Also when it comes to git/gerrit stuff. Most likely, you do not want to ask me specifically, but most of the time you want to ask Phabricator's  project. Other people on those project can chime in too.
 * Finally, when it comes to adding people to projects (see above), you do not want to do that at all without asking them beforehand ;-) --QChrisNonWMF (talk) 22:18, 20 September 2015 (UTC)

About deleting the Cards extension
Thanks for creating the Cards repo. Our plans seem to have changed and we'd like to keep the Cards extension for now. I'll let you know when to delete the newly created repo. Sorry the change-of-mind.


 * ✅ Ok. Cool. Thanks for letting me know --QChrisNonWMF (talk) 11:26, 16 November 2015 (UTC)
 * Hi again! I think it's safe to delete the Cards repo now as we're using mediawiki/extensions/Cards. Thanks. Bmansurov (WMF) (talk) 10:19, 7 December 2015 (UTC)

See task at https://phabricator.wikimedia.org/T121371 about gerrit
Hi please could you see task at https://phabricator.wikimedia.org/T121371 its about gerrit and also when creating a gerrit repo to also create a phabricator repo that mirrors off the gerrit repo and to also update the redirect script with the new repo. 81.140.246.37 01:10, 14 December 2015 (UTC)
 * ✅ Hi, I seems AKlapper in the meantime triaged and closed the task. --QChrisNonWMF (talk) 12:53, 14 December 2015 (UTC)

Thanks!
Thanks for helping so many developers find a home for their code at Git/New_repositories/Requests. It is much appreciated -- by all! --Ori Livneh (talk) 05:26, 5 January 2016 (UTC)
 * You tha best! Thanks Ori! :-) --QChrisNonWMF (talk) 15:47, 5 January 2016 (UTC)
 * I thank you too, you have created many repos for me already, very fast and efficient! --Felipe (talk) 15:07, 16 January 2016 (UTC)
 * Just want to add my thanks for creating a repo. I couldn't find the status update edit to thank for, so leaving one here instead :) – MPopov (WMF) (talk) 18:00, 16 April 2020 (UTC)

Name and username change at Gerrit
Hi Chris. I'm trying to unify my name and username throughout the internet, and Gerrit is one of the last services missing. My name there is "Luis Felipe Schenone" and my username is "lfs". Would it be too much trouble to change that to "Felipe Schenone" and "lfschenone"? Thanks a lot! --Felipe (talk) 15:06, 16 January 2016 (UTC)


 * Yay; unification is a venerable goal!
 * However, Gerrit is using wikitech's LDAP database for the accounts. So one would have to change your wikitech's LDAP account. I asked in #wikimedia-labs, and since LDAP renames are painful, I've been told that they'd prefer you to sign up afresh with your new username.
 * Not ideal. I know :-(
 * Would it nonetheless work for you, or do we need to find a better way? --QChrisNonWMF (talk) 16:29, 17 January 2016 (UTC)


 * Well, I already have considerable history associated with my user "lfs", I'd rather keep it with the undesired username than start a new one. I found this relevant ticket, so I'll ask "demon" for the rename. Thanks again! --Felipe (talk) 18:19, 17 January 2016 (UTC)

Gerrit new repo
Hello Christian, i'm a new lab user trying to finalize the account configuration. The lab user is Youni Verciti, i paste on the gerrit user's settings the same SSH_public_Key. I was so lost that i post the request twice, but the repo. i request is for a tool "vocabulary-index" running in command-line for French Wikiversity. Then i saw that you where taking care of the list. Thanks a lot. --Youni Verciti (talk) 16:05, 12 February 2016 (UTC)


 * ✅ Hi Youni, Sorry for the delay. I created the repo for you at labs/tools/vocabulary-index. If you run into issues, just let me know. --QChrisNonWMF (talk) 11:02, 14 February 2016 (UTC)

Gerrit new repo for Memento
Hello Chris, I appreciate the attempt at importing the code from https://github.com/mementoweb/mediawiki into Gerrit. I was able to remove the offending file from the history, but I can't seem to move the repository in myself. Some commits are attributed to email addresses belonging to committers from whom we accepted pull requests and gerrit is not allowing me to push because these addresses are not registered with gerrit. How do I resolve this? Thanks in advance.


 * There are still issues with too big objects.
 * The first one I encountered is  in commit  . I see that you bz2-ed the file afterwards. But since the problematic commit is still a parent of the   branch, and the ,  ,  ,   tags, I cannot import them without re-writing history.
 * To work around it, I reshuffled your commits a bit and squished your fix-up commit into the problematic commit. That way, we avoid the big object and can import into gerrit. Now gerrit's  branch matches github's   branch (except for the added   file).
 * Is that good enough for you? --QChrisNonWMF (talk) 12:03, 23 March 2016 (UTC)
 * Thank you so much. I apologize; I thought that I had addressed the large file successfully.  I have been testing and all looks to be in good shape now.  Thanks again. -- Shawn M. Jones
 * ✅ No worries. Glad it's working for you. --QChrisNonWMF (talk) 20:26, 28 March 2016 (UTC)

Ambigous name wikistats for Gerrit Repo
Hey Chris. My bad, I should've done my homework and looked for similar names who already existed. Is it okay to change it to "wikipagestats", or shall I try to revamp the whole name? Egedda (talk) 14:16, 9 April 2016 (UTC)


 * ✅ Created as analytics/wikipagestats --QChrisNonWMF (talk) 21:41, 13 April 2016 (UTC)

RE: new gerrit repository for Extension:CategoryWatch
Hi Chris,

Thanks to create the new repository!

To answer your question about the user account.

I did sign up Wikitech to create an account, here is my user page: https://wikitech.wikimedia.org/wiki/User:Sean_chen.

I do have a Mediawiki.org account too: User:Seanchen.

Thanks,

-Sean


 * Hi Sean. I see your user page, but I cannot find you in our LDAP directory. I'll have to reach out to our LDAP admins. --QChrisNonWMF (talk) 01:52, 6 April 2017 (UTC)


 * Hi Chris, I did link my WikiTech account to my MediaWiki account, details in task: https://phabricator.wikimedia.org/T162544. Could you try again to find my LDAP user? Thanks a lot! --Seanchen (talk) 02:15, 10 April 2017 (UTC)


 * Hi Sean. Sorry for the sickness-related slow turnaround. Gerrit still has issues adding it. Just a heads up that I am still working on it. --QChrisNonWMF (talk) 15:38, 13 April 2017 (UTC)


 * HI Chris, I finally created the proper LDAP user: https://wikitech.wikimedia.org/wiki/User:Seanchenldap. Could you try find me again? Thanks! --Seanchen (talk) 13:03, 13 June 2017 (UTC)


 * ✅ Hi Sean. This fell off of my radar. Sorry. I found Seanchenldap and granted you access to the CategoryWatch extension on gerrit. --QChrisNonWMF (talk) 21:44, 13 June 2017 (UTC)

defaultbranch vs. track
Hi Chris,

thanks for creating the Whoops repo!

I noticed that the  file uses   but some time ago all extensions were updated to use   instead. Maybe some template needs to be updated? --Tgr (WMF) (talk) 15:05, 21 May 2017 (UTC)


 * ✅ Thanks for the heads up. I fixed the template. --QChrisNonWMF (talk) 20:51, 21 May 2017 (UTC)

New repo
Hi! I've added at Gerrit/New repositories/Requests/Entries a request that was made at T174281. Not sure where these things are handled today (still at that page or at Phabricator). In any case, if you could please handle it that'd be great. Note that it's Huji's request, not mine. Regards, &mdash;MarcoAurelio (talk) 13:00, 28 August 2017 (UTC)


 * ✅ Hi! Thanks for the heads up. I've chimed in there --QChrisNonWMF (talk) 21:08, 28 August 2017 (UTC)


 * Thanks! Just saw your question. I hope that Huji can reply to it as he's going to be the owner. Best regards, &mdash;MarcoAurelio (talk) 21:09, 28 August 2017 (UTC)
 * I responded there, though that page's design is kind of bizarre to contain discussions. I respond here too: it will be a Gadget much like Twinkle Huji (talk) 15:32, 29 August 2017 (UTC)

Re-opening the archived AdvancedMeta
Hello, I've added the Request for re-opening the archived AdvancedMeta extension at Gerrit/New repositories/Requests/Entries. Thank you for doing so! I committed a new change:  Unfortunately the jenkins brings up this message: Is there something I can do to make the bot work normally for this repo again?

Best regards, pwirth


 * ✅ Hello, this was resolved here: . Best regards, pwirth 07:54, 15 May 2018 (UTC)


 * Whoops! Sorry, missed that one. Glad you could fix it. --QChrisNonWMF (talk) 21:38, 15 May 2018 (UTC)

Import content when creating a new repo
Hi QChris. When handling https://gerrit.wikimedia.org/r/#/admin/projects/mediawiki/extensions/PrimarySources I was asked on the request page to import the content from https://github.com/marfox/pst-frontend - I was thinking on just downloading the content to my local machine and push it to gerrit, but I was wondering if there's another way to do it? I'm not sure if we're using another form. Thanks for your help. Best regards, MarcoAurelio (talk) 17:27, 17 June 2018 (UTC)


 * I'm also doing the pull-to-local-machine-and-push-to-gerrit-from-there routine. Up to now, this was good enough for all imports that I had to do. --QChrisNonWMF (talk) 22:20, 19 June 2018 (UTC)

Concern about creation of "awmd-stats" tool on Gerrit
Hello ,

Thanks for importing the tool to Gerrit (awmd-stats). One more thing is lacking, managers / maintainers of the repo should be able to submit after CR+2 & V+2. You can see here that I could V+2 and CR+2 but could not submit: https://gerrit.wikimedia.org/r/c/labs/tools/awmd-stats/+/453303. Thanks!

Cheers! --Alangi Derick (talk) 23:54, 16 August 2018 (UTC)


 * ✅ Hi . The default for projects is to make Jenkins (CI) submit the changes. But that's not mandatory, so I granted you Submit on the project. This should give you the blue Submit button --QChrisNonWMF (talk) 22:55, 17 August 2018 (UTC)


 * Thanks you very much . Once we setup Jenkins to run CI tests on the repo, I think Jenkins will begin handling merges but for now, it will be manual until that is done. Thanks a lot :) --Alangi Derick (talk) 23:05, 17 August 2018 (UTC)

Indic OCR tool
Hello QChrisNonWMF, You just created labs/tools/indic-ocr repo on my request. Thank you very much for that. Can you import these files? And I want to know one more thing Is it possible a synonymous system for that means If I merge patch on gerrit. It will update on GitHub too? or Vice-Versa If possible Please enable it.--Jayprakash12345 (talk) 18:16, 20 November 2018 (UTC)


 * ✅ Hi I've just imported the repo you asked for. The changes you merge in gerrit will automatically get pushed to wikimedia's labs-tools-indic-ocr github repo and will also be available in the LTIO Phabricator repo. Both of these are 1-way syncs. So what happens on GitHub or Phabricator does not get synced back to Gerrit automatically. (2-way syncing is hard) --QChrisNonWMF (talk) 00:01, 25 November 2018 (UTC)
 * QChrisNonWMF Thank you your help. One way synchronization is enough for me.--Jayprakash12345 (talk) 07:39, 25 November 2018 (UTC)

mediawiki/extensions/NativeSvgHandler repo request
Hi Chris, I wasn't able to get in touch with the original author. The extension is not maintained for years and the author has not responded to any pull requests on GitHub. - Alistair3149 (talk) 23:55, 16 December 2019 (UTC)


 * I've reached out by email to him. Let's give him a week or so to respond. If there is no response by then, I'll create the repo for you. --QChrisNonWMF (talk) 23:38, 18 December 2019 (UTC)


 * Thank you so much! Please let me know if he replies or after a week then! -- Alistair3149 (talk) 03:56, 19 December 2019 (UTC)

✅ The original author replied promptly and said that he is ok with handing the extension over. I've now created the repo as requested. --QChrisNonWMF (talk) 23:28, 19 December 2019 (UTC)

Sync VideoCutTool Gerrit repo and Github repo
Hi Chris, Any way to automate 2-way sync of VideoCutTool Gerrit repo and my GitHub repo? Currently, we have all the latest versions of the codebase in my GitHub repo and I want to keep the Gerrit repo sync with my Github repo. (https://gerrit.wikimedia.org/r/labs/tools/VideoCutTool & https://github.com/gopavasanth/video-cut-tool)


 * Automatic 2-way sync is always tricky (reviews, CI, and what not). Our Gerrit only does 1-way sync from Gerrit to GitHub. For the VideoCutTool, Gerrit brings all changes of the labs/tools/VideoCutTool repo over to GitHub at https://github.com/wikimedia/labs-tools-VideoCutTool . If you want to sync your own repo to gerrit automatically, you do so for example by leveraging git's hooks to (E.g.: pre-push) to sync your local repo not only to your GitHub repo but also to WMF's Gerrit in one go. But I'm not sure it's worth the trouble. I'd not do it if I was you and I'd instead develop straight with the Gerrit repo. Gerrit will bring the code to GitHub. So GitHub users will be able to see/search/... the code. And you'll make your life easier that way. --QChrisNonWMF (talk) 22:30, 25 January 2020 (UTC)

Aah okay, I won't prefer to make a new patch and merge myself to sync GitHub and Gerrit repos of VideoCutTool, so I would like to import the newer versions of repository from my GitHub, so can you delete existing repo: https://gerrit.wikimedia.org/r/labs/tools/VideoCutTool and import new repo named VideoCutTool from "https://github.com/gopavasanth/video-cut-tool" and also same applies to this I would request to delete this "https://gerrit.wikimedia.org/r/labs/tools/video-cut-tool-back-end" and import the repo named video-cut-tool-back-end from https://github.com/gopavasanth/video-cut-tool-back-end with all new changes, I know this is not a good idea but we can sync repos in this way, what do you think?

✅ : Synced the contents of your local repos to Gerrit's repos. (Since Gerrit already had  branches, these old   branches are still available as branch   in Gerrit. Feel free to delete them if you no longer need them.) --QChrisNonWMF (talk) 22:12, 28 January 2020 (UTC)

Repo creation doubt
Hi Chris. I hope that you're okay. I'm not sure how to handle the "mw" repo request lodged by KHarlan. The requestor is unsure under which parent project and naming the repo should be. Could you please take a look if possible? Thanks. Best regards, &mdash;MarcoAurelio (talk) 12:26, 10 March 2020 (UTC)


 * I saw the repo shortly before falling ill, and it fell off of my radar. Thanks for your message. I'll see what I can do. --QChrisNonWMF (talk) 19:51, 10 March 2020 (UTC)

Wikispeech services
Hi! Sorry for posting here, couldn't figure out how to edit the Gerrit request comments.

We'd be happy to live under /mediawiki/services/wikispeech/*

Could you please also inherit rights from mediawiki/extensions/Wikispeech for all the repos?

Karl Wettin (WMSE) (talk) 11:38, 29 April 2020 (UTC)

✅ Thanks! Repos got created. --QChrisNonWMF (talk) 07:17, 3 May 2020 (UTC)

A barnstar for you!

 * Thanks! :-D --QChrisNonWMF (talk) 20:40, 10 May 2020 (UTC)

Issue with new repo
Hi, Chris,

Thank you for creating a new repo operations/software/wmfbackups as requested.

Sadly, you have assigned yourself as the owner, and I have limited grants on it. I would need to push (including history) the commits from the branched operations/software/wmfmariadbpy, but I don't have permissions to create objects (this has happened to me in the past due to lack of permissions). Could you either push the history of the previous repo yourself, or give me ownership grants on the repo so I can do it myself?

Compare how Kormat and I are owners of the original repo: https://gerrit.wikimedia.org/r/admin/groups/f948dea7f1f871e879aacb863838a9bcf4e17793,members while you are the owner of the new one: https://gerrit.wikimedia.org/r/admin/groups/39566e9568c6908f909070828b6bd9ebb3c21375,members operations/software rights are inherited, but only for conventional pushes/fetches- We cannot create tags or push metadata on the new one!

Thank you! --JCrespo (WMF) (talk) 07:53, 1 September 2020 (UTC)


 * Thanks Chris, but another gerrit admin ran to help and made us owners of the repo so we could temporarily add extra grants to import the history (I needed push and forge identities for that). No further work is needed, although FYI you keep being an admin on the repo. --JCrespo (WMF) (talk) 08:43, 1 September 2020 (UTC)


 * Whoops! Sorry for accidentally not adjusting the group members. Thank you akosiaris for adding them. --QChrisNonWMF (talk) 10:04, 1 September 2020 (UTC)

New repositories request
Hi, I have requested a repo at Gerrit/New repositories/Requests. It is a urgent request. Please go through it :)--Jay (CIS-A2K) (talk) 05:25, 9 November 2020 (UTC)
 * Hi, I created the repo, and set one of the given accounts as owner but failed with the second one. Let's discuss on the repo page.

✅ --QChrisNonWMF (talk) 07:39, 9 November 2020 (UTC)

Rename repo
I previously requested the creation of the extensions/TemplateScripts repo, but I would now like to change its name to extensions/UseResource (or have it deleted and replaced with extensions/UseResource) as it was suggested that new functionality should be added and the old name no longer makes sense.BrandonXLF (talk) 06:52, 28 January 2021 (UTC)

I've retired the repo at the old name, and created a fresh repo for you. --QChrisNonWMF (talk) 21:12, 28 January 2021 (UTC)

✅ See https://www.mediawiki.org/w/index.php?title=Gerrit%2FNew_repositories%2FRequests%2FEntries&type=revision&diff=4377333&oldid=4377317 --QChrisNonWMF (talk) 21:11, 28 January 2021 (UTC)


 * Thanks for your help! BrandonXLF (talk) 03:46, 29 January 2021 (UTC)

Repo permissions
Hi Chris,

Thanks for setting up the TwinkleCore repo. However, could you add the required permissions so that I'm able do  to it? (The actual development takes place on GitHub. This repo is intended to be used as a mirror).

The error I get on trying to do that at the moment is:

I'm following the guidance from Topic:Uqfdy3c6kjpv1c2z. Thanks! SD0001 (talk) 21:37, 2 April 2021 (UTC)


 * is a special Gerrit branch. By pushing with  (and I assume you do not have a local   branch) you're trying to delete the   branch. As Gerrit needs that branch, it denies your delete request. That's expected behaviour. There are a few ways around that. The simplest is to avoid   and instead run




 * That command brings new local branches and new local tags to Gerrit (I hope you're coding in a way that you don't need to add  ). It's what I run to import repos. Note however, that it does not remove branches on Gerrit that you deleted locally (and hence does not attempt to delete  ). If that's an issue depends on how you use git. --QChrisNonWMF (talk) 18:39, 4 April 2021 (UTC)
 * Thanks. I'll do that or maybe just keep the master in sync, the other branches and tags are likely unnecessary anyway. That aside, I noticed that the GitHub mirror is quite outdated. Does it not automatically remain in sync with the Gerrit repo? SD0001 (talk) 19:04, 4 April 2021 (UTC)


 * For whatever reason, GitHub chose to use the  branch (which indeed is far behind master) as default branch. So when one goes to https://github.com/wikimedia/mediawiki-gadgets-TwinkleCore, one was shown the   branch. I switched the GitHub's default branch to  . Does it now look as expected? --QChrisNonWMF (talk) 06:21, 5 April 2021 (UTC)
 * Yes, looks good. Thanks for taking care of it. SD0001 (talk) 06:25, 5 April 2021 (UTC)
 * Perfect! --QChrisNonWMF (talk) 09:03, 6 April 2021 (UTC)

✅ --QChrisNonWMF (talk) 09:03, 6 April 2021 (UTC)