unofficial mirror of emacs-devel@gnu.org 
 help / color / mirror / code / Atom feed
From: Dmitry Gutov <dgutov@yandex.ru>
To: Eli Zaretskii <eliz@gnu.org>
Cc: theophilusx@gmail.com, emacs-devel@gnu.org, hi-angel@yandex.ru
Subject: Re: [RFE] Migration to gitlab
Date: Fri, 26 Apr 2019 02:16:34 +0300	[thread overview]
Message-ID: <f1b7c4ae-54a7-85d6-6a29-e7ee7aed2b80@yandex.ru> (raw)
In-Reply-To: <83sgu5yi5p.fsf@gnu.org>

On 25.04.2019 22:54, Eli Zaretskii wrote:

> Not "exactly the same", but without "significant changes", yes.

I see. Probably. (We could discuss the meaning of "significant", but 
let's not).

>> Which is a perspective I'm not particularly hopeful about.
> 
> Why?  You think it's a tough criterion to meet?  I actually think the
> bar is quite low.  How many new bugs get reported each day?  2? 5?
> How hard is it to triage 80% of that, even given the relatively small
> number of people who currently do that?

(I hope we're not talking about my own participation, with the backlog I 
already have, and, well, Debbugs still being there).

On the one hand, you're probably right. On the other, there must be a 
reason it still hasn't happened yet.

>> It's a relatively simple, but repetitive process that requires
>> interacting with the bug tracker on every step.
> 
> Does it?  The bugs get mailed to you if you subscribe, so no
> interaction is needed, until you send a short email after you finish
> the triage.  I only ever need to interact with the tracker when
> looking up an old bug report, or searching for related issues.  The
> initial handling of a new bug almost never needs any interaction.

So, okay, every step but the first (receiving the email?). That changes 
very little. You need to search, tag, Cc somebody else, maybe.

Every one of these actions is noticeably slower here than what I'm used 
to in other projects. More error-prone, too.

>> Debbugs aside, not every project has "try to reproduce" as one of the
>> steps in bug triage.
> 
> It isn't a requirement.  If you are able to triage or fix without
> reproducing, no one will object.

"Manage". I mean that not trying to reproduce is the norm: the 
volunteers look for similar bug reports, categorize them and forward to 
relevant teams.

> It's harder, yes.  But that's the job, and it must be done.  And it
> becomes easier with time, as you become familiar with more and more
> areas.

To be honest: that's only an enticing prospect if I'm aiming to be an 
Emacs maintainer. There's not enough free space in my head already.

>> On the other hand, the current triage notes mention no categorization
>> step
> 
> What do you mean by categorization?  It does include determining the
> priority.

I rather meant assigning to an appropriate subsystem or subpackage (then 
someone responsible for it can take over).

>> or assignment to responsible parties.
> 
> It does, AFAICT:
> 
>    5. Who should be the owner?

OK. But to be pedantic, the document only tells me to ask the question, 
but not what to do with the result. And there's no "owner" field in Debbugs.

I'd have to search some files inside the Emacs repo (which could be 
outdated or don't have the full info), Cc somebody if I find them, and 
write a full, grammatically correct sentence (or more) to bring it to 
the owner's attention.

>> Third, since admin/notes/bug-triage is inside admin/, we apparently do
>> not expect drive-by contributors in participate in the triage process.
> 
> No, we don't.  But no one will object to them doing so.  No one needs
> a permission to start responding to bug reports, everybody is welcome.

I'm saying you might want to move that information somewhere else. 
CONTRIBUTE is already long, though. So I don't have a better proposal 
for the *current* workflow.

>> Finally, in my own projects which are fairly mature, I sometimes fail to
>> respond to bug reports. The users themselves find existing bug reports
>> and comment to confirm that yes, the bug still exists and remains a
>> problem. Triage success!
> 
> We have this on the bug list as well: people confirm that they see a
> problem reported by someone else.

It is, of course, just my experience: but I see that a lot more often in 
the GitHub bug tracker than over here in Debbugs. An order of magnitude 
more often.

>> That also works to confirm that a bug should be made a priority (old
>> report, users still commenting on it).
> 
> Not necessarily.  Priority of a bug doesn't necessarily become higher
> with time, it could actually become low in some cases (people manage
> to get by).

It works to confirm the priority when new users keep commenting on old 
bug reports.

>> I remember certain people on this mailing list complaining about
>> duplicates in the bug tracker (and users failing to do the search).
>> Well, get a bug tracker with a user friendlier interface (visibility,
>> searchability, etc), and the users will do more work for you.
> 
> All else being equal, sure.  But there isn't such a beast, TANSTAAFL.

Indeed, we can't just get a "better Debbugs". Someone would have to 
sacrifice something, at least a little.

We might get close enough, though.

> And I'm not really sure searching debbugs is such a black art.
> perhaps Noam and Glenn could share their experience and methods, and
> we will all become better searchers.

That's not the point. I know how to search Debbugs (it's annoying and 
slow, but I get the results). A lot of our users do not.

> I'm talking about the situation with bug triage and patch review.
> Whatever my approach is, it cannot affect those, that's entirely up to
> the people who volunteer their time for doing that.  I'm glad that the
> situation with this is slowly improving.

I'm glad that's happening, then.

>> But in short, bug reports to in Debbugs, patch submissions to into
>> GitLab (and also Debbugs sometimes, though we could automate some
>> process to move them over to GitLab from there).
> 
> So we are supposed to have 2 sites/UIs open when dealing with a bug
> report to which someone suggested a solution?  Is that an improvement?

We would have a separate dedicated place and workflow for handling code 
reviews. Stefan seemed enthusiastic enough about "a system where we can
receive contributions via merge requests". The exact improvement would 
depend on how well the reviewers would be able to take advantage of 
GitHub's features (the web UI has a lot of them; whatever interface we 
choose would either have to simplify or reimplement some of them).

That is, improvement from your side. The users who don't mind using the 
web interface will likely benefit the most. And we'll likely see more 
user attention as a result.

> Please read my notes about the main issues I see with Gitlab:

I've seen it, and I'll let Toon answer first. Let's not spread that 
detailed discussion over many subthreads.

> efficient handling of bugs for which there's no patch yet is much more
> important than efficient review of patches, primarily because we have
> much more bug reports than patches on any given day.  A solution that
> makes patch review easier, but does nothing to improve bug handling is
> unlikely to get my vote, because I think this is backwards: we should
> be solving the most important bottlenecks first.

Bug handling is "easier" than doing code reviews in a lot of respects. 
First and foremost, email notifications and responding to reports via 
email should already work. There are definite advantages to be gained 
from migrating the bug tracker to GitLab, but we need some trial period, 
and probably don't want to deal with two bug trackers at once.

Adding Merge Requests to our workflow first would force us to work out 
the kinks in the more difficult parts of the integration, as well as 
test drive also the same features that bug reports have (commenting 
through email, searching, tagging, changing status, etc).



  reply	other threads:[~2019-04-25 23:16 UTC|newest]

Thread overview: 284+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2019-03-17  2:17 bug#34889: [RFE] Migration to gitlab Konstantin Kharlamov
2019-03-17  3:01 ` Konstantin Kharlamov
2019-03-17  3:34   ` bug#34889: " Konstantin Kharlamov
2019-03-17  8:20     ` Tim Cross
2019-03-17  9:51       ` Michael Albinus
2019-03-17 11:16       ` Konstantin Kharlamov
2019-03-17 18:05         ` Eli Zaretskii
2019-03-19  0:52           ` Dmitry Gutov
2019-03-19  1:43             ` Glenn Morris
2019-03-19  1:50               ` Glenn Morris
2019-03-20  2:28                 ` Richard Stallman
2019-03-19  7:57               ` Eli Zaretskii
2019-03-19  7:27             ` Philippe Vaucher
2019-03-19  8:47               ` Tadeus Prastowo
2019-03-19 12:31                 ` Philippe Vaucher
2019-03-19 12:46                   ` Tadeus Prastowo
2019-03-19 11:03               ` Ergus
2019-03-19  7:45             ` Eli Zaretskii
2019-03-19 14:13               ` Dmitry Gutov
     [not found]                 ` <message from DmitryGutovon Tue>
2019-03-19 18:15                 ` Eli Zaretskii
2019-03-19 21:59                   ` Konstantin Kharlamov
2019-03-20  6:13                     ` Eli Zaretskii
2019-03-20  6:56                       ` Konstantin Kharlamov
2019-03-20  7:23                         ` Eli Zaretskii
2019-03-21  8:28                           ` Philippe Vaucher
2019-03-21  9:02                             ` Tadeus Prastowo
2019-03-21  9:48                               ` Philippe Vaucher
2019-03-21  9:59                                 ` Tadeus Prastowo
2019-03-21 17:54                                   ` Philippe Vaucher
2019-03-21 19:03                                     ` Eli Zaretskii
2019-04-23 21:19                                       ` Toon Claes
2019-04-24  7:06                                         ` Eli Zaretskii
2019-04-25  7:52                                           ` Toon Claes
2019-03-22 10:37                                     ` Marcin Borkowski
2019-03-22 10:56                                       ` Jean-Christophe Helary
2019-03-22 18:52                                         ` Marcin Borkowski
2019-03-23  0:37                                           ` Jean-Christophe Helary
2019-03-22 11:24                                       ` Konstantin Kharlamov
2019-03-22 12:38                                         ` Philippe Vaucher
2019-03-22 13:27                                           ` Konstantin Kharlamov
2019-03-22 13:57                                             ` Stefan Monnier
2019-03-22 13:17                                       ` Eli Zaretskii
2019-03-22 13:50                                         ` Stefan Monnier
2019-03-22 14:05                                           ` Konstantin Kharlamov
2019-03-22 14:20                                           ` Teemu Likonen
2019-03-22 14:29                                             ` Stefan Monnier
2019-03-22 14:54                                             ` Eli Zaretskii
2019-03-22 15:19                                               ` Stefan Monnier
2019-03-22 15:38                                                 ` Eli Zaretskii
2019-03-22 15:58                                                   ` Stefan Monnier
2019-03-23 21:58                                             ` Juri Linkov
2019-03-22 14:41                                           ` Eli Zaretskii
2019-03-23  2:33                                         ` Richard Stallman
2019-03-23  7:18                                           ` Eli Zaretskii
2019-03-23 14:04                                             ` Konstantin Kharlamov
2019-03-23 14:28                                               ` Eli Zaretskii
2019-03-24  6:29                                                 ` Van L
2019-03-24 11:22                                                   ` Eli Zaretskii
2019-03-24  1:44                                             ` Richard Stallman
2019-03-22 10:01                           ` Konstantin Kharlamov
2019-03-22 10:16                             ` Eli Zaretskii
2019-03-22 10:34                               ` Konstantin Kharlamov
2019-03-22 13:44                                 ` Eli Zaretskii
2019-03-22 14:36                               ` Dmitry Gutov
2019-03-22 14:57                                 ` Stefan Monnier
2019-03-22 17:01                                   ` Dmitry Gutov
2019-03-22 15:28                                 ` Eli Zaretskii
2019-03-22 12:43                             ` Basil L. Contovounesios
2019-03-22 13:05                             ` Stefan Monnier
2019-03-22 13:30                               ` Konstantin Kharlamov
2019-03-22 13:44                                 ` Stefan Monnier
2019-03-22 16:46                                   ` Glenn Morris
2019-03-22 18:56                                     ` Stefan Monnier
2019-03-22 13:32                               ` Eli Zaretskii
2019-03-22 13:48                                 ` Stefan Monnier
2019-03-22 14:37                                   ` Eli Zaretskii
2019-03-22 14:50                                     ` Dmitry Gutov
2019-03-22 15:31                                       ` Eli Zaretskii
2019-03-22 16:46                                         ` Dmitry Gutov
2019-03-22 16:23                                     ` Michael Albinus
2019-03-22 16:37                                       ` Eli Zaretskii
2019-03-22 16:48                                         ` Michael Albinus
2019-03-22 17:22                                           ` Eli Zaretskii
2019-03-22 16:52                                       ` Glenn Morris
2019-03-22 16:57                                         ` Michael Albinus
2019-03-22 17:24                                           ` Eli Zaretskii
2019-03-24 13:53                                             ` Michael Albinus
2019-03-24 15:52                                               ` Eli Zaretskii
2019-03-25 16:29                                                 ` Michael Albinus
2019-03-25 17:09                                                   ` Eli Zaretskii
2019-03-25 17:52                                                     ` Tadeus Prastowo
2019-03-25 17:56                                                       ` Michael Albinus
2019-03-25 17:54                                                     ` Michael Albinus
2019-03-22 18:50                                           ` Glenn Morris
2019-03-22 19:00                                             ` Dmitry Gutov
2019-03-22 17:23                                         ` Eli Zaretskii
2019-04-20 23:26                           ` Dmitry Gutov
2019-04-21  5:43                             ` Eli Zaretskii
2019-04-21  7:58                               ` Michael Albinus
2019-04-25  1:17                                 ` Dmitry Gutov
2019-04-25  8:17                                   ` Michael Albinus
2019-04-25  1:06                               ` Dmitry Gutov
2019-04-25  9:22                                 ` Eli Zaretskii
2019-04-25 10:35                                   ` Dmitry Gutov
2019-04-25 10:55                                     ` Eli Zaretskii
2019-04-25 15:01                                       ` Dmitry Gutov
2019-04-25 19:54                                         ` Eli Zaretskii
2019-04-25 23:16                                           ` Dmitry Gutov [this message]
2019-04-26  7:52                                             ` Michael Albinus
2019-04-26 12:49                                               ` Dmitry Gutov
2019-04-26 13:03                                                 ` Michael Albinus
2019-04-26  8:05                                             ` Eli Zaretskii
2019-04-27  1:40                                               ` Dmitry Gutov
2019-04-27  9:43                                                 ` Eli Zaretskii
2019-05-15  2:04                                                   ` Dmitry Gutov
2019-05-15  2:30                                                 ` Lars Ingebrigtsen
2019-05-15  5:42                                                   ` Lars Ingebrigtsen
2019-05-15 13:45                                                     ` Dmitry Gutov
2019-05-15 14:34                                                     ` Eli Zaretskii
2019-05-16  3:57                                                       ` Lars Ingebrigtsen
2019-05-16 13:41                                                         ` Eli Zaretskii
2019-05-16 13:48                                                           ` Lars Ingebrigtsen
2019-05-16 14:09                                                             ` Eli Zaretskii
2019-05-16 14:34                                                               ` debbugs extensions (was: [RFE] Migration to gitlab) Michael Albinus
2019-05-16 23:40                                                                 ` Noam Postavsky
2019-05-17  7:30                                                                   ` debbugs extensions Michael Albinus
2019-05-17  8:40                                                                     ` Eli Zaretskii
2019-05-17  9:25                                                                       ` Michael Albinus
2019-05-17 10:45                                                                     ` Noam Postavsky
2019-05-15 13:37                                                   ` [RFE] Migration to gitlab Dmitry Gutov
2019-05-16  3:54                                                     ` Lars Ingebrigtsen
2019-04-26  8:42                                         ` Ricardo Wurmus
2019-04-26 19:41                                           ` Dmitry Gutov
2019-03-20  1:02                   ` Dmitry Gutov
2019-03-18  1:48         ` Richard Stallman
2019-03-18  2:41           ` Tim Cross
2019-03-18 13:19             ` Van L
2019-03-19  2:15             ` Richard Stallman
2019-03-19 14:24               ` Dmitry Gutov
2019-03-20  2:33                 ` Richard Stallman
2019-03-18 16:14           ` Karl Fogel
2019-03-17 16:48   ` Eric Abrahamsen
2019-03-17 18:05     ` Amin Bandali
2019-03-17  3:40 ` Eli Zaretskii
2019-03-17 12:37 ` Philippe Vaucher
2019-03-17 13:14   ` Tadeus Prastowo
2019-03-17 13:23     ` Konstantin Kharlamov
2019-03-17 13:49       ` Tadeus Prastowo
2019-03-17 14:06         ` Konstantin Kharlamov
2019-03-17 14:26           ` Tadeus Prastowo
2019-03-17 15:06   ` Stefan Monnier
2019-03-17 16:55     ` Eli Zaretskii
2019-03-17 17:45       ` Stefan Monnier
2019-03-17 17:29     ` Alex
2019-04-18  8:27       ` Toon Claes
2019-04-20 21:12         ` Dmitry Gutov
2019-04-23 21:08           ` Toon Claes
2019-04-24 15:26             ` Alex Gramiak
2019-04-25  8:24               ` Toon Claes
2019-04-25 13:45                 ` Alex Gramiak
2019-04-25  0:42             ` Dmitry Gutov
2019-04-25  8:32             ` Eli Zaretskii
2019-05-10  9:16               ` Toon Claes
2019-05-10  9:49                 ` Eli Zaretskii
2019-05-10 10:37                   ` 조성빈
2019-05-10 12:21                     ` Eli Zaretskii
2019-05-10 13:09                       ` 조성빈
2019-05-10 22:23                       ` Alex Gramiak
2019-05-11  2:12                         ` Alan Mackenzie
2019-05-11  3:47                           ` 조성빈
2019-05-11  7:01                             ` Eli Zaretskii
2019-05-11  7:38                               ` 조성빈
2019-05-11 10:02                                 ` Eli Zaretskii
2019-05-11 13:13                                   ` Dmitry Gutov
2019-05-11 13:49                                     ` Eli Zaretskii
2019-05-11 13:57                                       ` Dmitry Gutov
2019-05-11 14:04                                         ` Eli Zaretskii
2019-05-11 19:25                                   ` Basil L. Contovounesios
2019-05-11 19:25                               ` Basil L. Contovounesios
2019-05-11 19:24                             ` Basil L. Contovounesios
2019-05-11 19:22                           ` Basil L. Contovounesios
2019-05-12 15:50                             ` Alan Mackenzie
2019-05-12 20:51                               ` Basil L. Contovounesios
2019-06-18 15:36                                 ` Simon Leinen
2019-06-25 22:38                                   ` Basil L. Contovounesios
2019-06-26 18:01                                     ` Simon Leinen
2019-06-26 18:21                                       ` Basil L. Contovounesios
2019-05-12  0:58                           ` Alex Gramiak
2019-05-11  6:32                         ` Eli Zaretskii
2019-05-12  0:23                           ` Alex Gramiak
2019-05-12  5:31                             ` Eli Zaretskii
2019-05-12  7:04                               ` Tassilo Horn
2019-05-12 13:56                                 ` Eli Zaretskii
2019-05-13  4:32                                 ` Tassilo Horn
2019-05-13 14:51                                   ` Eli Zaretskii
2019-05-13 18:24                                     ` Clément Pit-Claudel
2019-05-13 16:41                                   ` [OFFTOPIC] size of issue tracker (was: [RFE] Migration to gitlab) Stefan Monnier
2019-05-13 17:42                                     ` Eli Zaretskii
2019-05-13 18:55                                       ` [OFFTOPIC] size of issue tracker Stefan Monnier
2019-05-13 18:59                                         ` Óscar Fuentes
2019-05-13 19:16                                           ` Stefan Monnier
2019-05-13 18:59                                       ` Tassilo Horn
2019-05-13 20:02                                         ` Tassilo Horn
2019-05-13 20:11                                           ` Tassilo Horn
2019-05-13 20:56                                             ` Stefan Monnier
2019-05-14  8:43                                         ` Toon Claes
2019-05-14 19:58                                     ` Stefan Monnier
2019-05-15  7:45                                       ` Toon Claes
2019-05-15 14:04                                         ` Stefan Monnier
2019-05-15 14:41                                         ` Eli Zaretskii
2019-05-16 17:54                                     ` Clemens Radermacher
2019-05-16 19:58                                       ` Stefan Monnier
2019-05-16 23:19                                         ` Jean-Christophe Helary
2019-05-16 23:31                                           ` Stefan Monnier
2019-05-19 19:34                                       ` Juri Linkov
2019-05-19 20:12                                         ` Stefan Monnier
2019-05-19 20:46                                           ` Juri Linkov
2019-05-20 11:57                                           ` Toon Claes
2019-05-20 12:29                                             ` Basil L. Contovounesios
2019-05-10 11:16                   ` [RFE] Migration to gitlab Dmitry Gutov
2019-05-10 12:54                     ` Eli Zaretskii
2019-05-10 13:56                       ` Dmitry Gutov
2019-05-10 14:19                         ` Eli Zaretskii
2019-05-10 14:32                           ` Tadeus Prastowo
2019-05-10 14:56                             ` Óscar Fuentes
2019-05-10 15:16                               ` Tadeus Prastowo
2019-05-10 15:00                           ` 조성빈
2019-05-10 15:26                             ` Clément Pit-Claudel
2019-05-11 12:13                               ` Eli Zaretskii
2019-05-11 15:37                                 ` Clément Pit-Claudel
2019-05-11 15:51                                   ` Eli Zaretskii
2019-05-11 15:57                                     ` Clément Pit-Claudel
2019-05-13  8:47                                   ` Toon Claes
2019-05-10 16:33                           ` Dmitry Gutov
2019-05-10 20:43                             ` Eli Zaretskii
2019-05-10 21:12                               ` Óscar Fuentes
2019-05-11  6:13                                 ` Eli Zaretskii
2019-05-11  6:16                                   ` 조성빈
2019-05-11 12:16                                     ` Eli Zaretskii
2019-05-11 12:34                                       ` Dmitry Gutov
2019-05-11 12:40                                         ` Eli Zaretskii
2019-05-11 13:29                                           ` Amin Bandali
2019-05-11 13:58                                             ` Eli Zaretskii
2019-05-11 14:06                                               ` Eli Zaretskii
2019-05-11 14:42                                                 ` Amin Bandali
2019-05-11 14:57                                                   ` Eli Zaretskii
2019-05-11 16:09                                                     ` Amin Bandali
2019-05-11 14:11                                               ` Amin Bandali
2019-05-11 15:41                                   ` 조성빈
2019-05-13  9:23                                     ` Toon Claes
2019-05-10 21:32                               ` Stefan Monnier
2019-05-10 21:56                               ` Alex Gramiak
2019-05-11  6:22                                 ` Eli Zaretskii
2019-05-11 19:19                               ` Basil L. Contovounesios
2019-05-13  1:43                               ` Dmitry Gutov
2019-05-13  1:45                                 ` Dmitry Gutov
2019-05-13 14:48                                 ` Eli Zaretskii
2019-05-13 18:14                                   ` Dmitry Gutov
2019-05-13  9:03                             ` Toon Claes
2019-05-13 18:22                               ` Dmitry Gutov
2019-05-14 10:23                                 ` EMBA enable Reply by Email (was: [RFE] Migration to gitlab) Toon Claes
2019-05-10 14:02                       ` [RFE] Migration to gitlab Óscar Fuentes
2019-05-10 14:28                         ` Eli Zaretskii
2019-05-10 14:54                           ` Óscar Fuentes
2019-05-10 15:34                             ` Eli Zaretskii
2019-05-10 16:23                             ` Alan Mackenzie
2019-05-12 19:09                         ` Juri Linkov
2019-05-12 22:24                           ` Óscar Fuentes
2019-05-14 13:13                             ` Stefan Monnier
2019-05-10 14:02                   ` Debbugs problems (was: [RFE] Migration to gitlab) Stefan Monnier
2019-05-10 14:24                     ` Debbugs problems Michael Albinus
2019-05-10 15:16                       ` Eli Zaretskii
2019-05-13  1:09                       ` Dmitry Gutov
2019-05-13 14:27                         ` Eli Zaretskii
2019-05-13 17:56                           ` Dmitry Gutov
2019-05-13 18:03                             ` Eli Zaretskii
2019-05-13 18:57                               ` Óscar Fuentes
2019-05-14 14:36                                 ` Eli Zaretskii
2019-05-13 20:20                               ` Dmitry Gutov
2019-05-14 14:36                                 ` Eli Zaretskii
2019-05-10 10:41                 ` [RFE] Migration to gitlab Dmitry Gutov
2019-05-10 15:23                   ` Toon Claes
2019-05-10 13:48                 ` Stefan Monnier
2019-03-17 17:49 ` Eli Zaretskii

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

  List information: https://www.gnu.org/software/emacs/

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=f1b7c4ae-54a7-85d6-6a29-e7ee7aed2b80@yandex.ru \
    --to=dgutov@yandex.ru \
    --cc=eliz@gnu.org \
    --cc=emacs-devel@gnu.org \
    --cc=hi-angel@yandex.ru \
    --cc=theophilusx@gmail.com \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
Code repositories for project(s) associated with this public inbox

	https://git.savannah.gnu.org/cgit/emacs.git

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).