Re: [PATCH] Allow setting CVS username for gnu-web-doc-update

2021-01-09 Thread Darshit Shah
Hi Bruno, Yes, the account is active, but I didn't mean to use it for the commit. I just forgot to set the user.email for the gnulib repo. For all GNU projects, I still use the dar...@gnu.org email. On Sat, Jan 9, 2021, at 13:01, Bruno Haible wrote: > Hi Darshit, > > > I would like to apply th

Re: [PATCH] Allow setting CVS username for gnu-web-doc-update

2021-01-09 Thread Bruno Haible
Hi Darshit, > Yes, the account is active, but I didn't mean to use it for the commit. > I just forgot to set the user.email for the gnulib repo. For all GNU > projects, I still use the dar...@gnu.org email. Thanks for clarifying. Pushed. Bruno

Re: [PATCH] Allow setting CVS username for gnu-web-doc-update

2021-01-09 Thread Bruno Haible
Hi Darshit, > I would like to apply the attached patch to Gnulib in order to improve > how gnu-web-doc-update works. Thanks! The patch looks good. I'm about to commit it in your name; just one question: Is the email address working? In 2017 you used the email address . Bruno

[PATCH] Allow setting CVS username for gnu-web-doc-update

2021-01-09 Thread Darshit Shah
I would like to apply the attached patch to Gnulib in order to improve how gnu-web-doc-update works. >From 0fe04a57a1f4476e6d893ddee973805b15ca9338 Mon Sep 17 00:00:00 2001 From: Darshit Shah Date: Sat, 9 Jan 2021 11:42:26 +0100 Subject: [PATCH] Allow setting CVS username for gnu-web-doc-upd