unofficial mirror of emacs-devel@gnu.org 
 help / color / mirror / code / Atom feed
From: "Basil L. Contovounesios" <contovob@tcd.ie>
To: Alan Mackenzie <acm@muc.de>
Cc: emacs-devel@gnu.org, monnier@iro.umontreal.ca, dgutov@yandex.ru,
	Eli Zaretskii <eliz@gnu.org>,
	toon@iotcl.com, Alex Gramiak <agrambot@gmail.com>
Subject: Re: [RFE] Migration to gitlab
Date: Sun, 12 May 2019 21:51:58 +0100	[thread overview]
Message-ID: <87k1ev5rbl.fsf@tcd.ie> (raw)
In-Reply-To: <20190512155032.GC20053@ACM> (Alan Mackenzie's message of "Sun, 12 May 2019 15:50:32 +0000")

Alan Mackenzie <acm@muc.de> writes:

> On Sat, May 11, 2019 at 20:22:56 +0100, Basil L. Contovounesios wrote:
>> Alan Mackenzie <acm@muc.de> writes:
>
>> > On Fri, May 10, 2019 at 16:23:03 -0600, Alex Gramiak wrote:
>> >> Eli Zaretskii <eliz@gnu.org> writes:
>
>> >> > My point was that an absolute majority of Emacs issues don't have a
>> >> > patch attached.  They describe a problem, and most of the reports
>> >> > don't even include a detailed analysis of the problem and its root
>> >> > cause.  A large part of discussing an issue is devoted to
>> >> > understanding the issue and then finding its cause.  Patches appear
>> >> > only after all that.
>
>> >> > So we must have a good support for a workflow that doesn't include any
>> >> > pull/merge request at its beginning, maybe even never.
>
>> > I don't know what "pull/merge request" means.  Does it mean a request by
>> > an outsider for a core contributor to perform a "git pull" operation
>> > from the outsider's computer, the outsider having opened up his machine
>> > to public access to allow this?
>
>> A {pull,merge} request is a diff of two Git branches for which the issue
>> tracker cum Git forge (GitLab) creates a dedicated ticket with which
>> ensuing discussion and other metadata is associated.  In simplistic
>> terms, it's like an interactive set of patches.
>
> Is somebody requesting something?  OK, clearly that is the case in a
> merge request, but it's less clear for a "pull request".

AFAIK, pull requests and merge requests are the same thing - the former
term is used by GitHub, and the latter by GitLab (there could be some
subtle difference, but IME they're effectively the same).

> Is there also some name/process whereby somebody can submit a patch for
> discussion, without the expectation it will be merged into master?  Kind
> of "I think this patch might be a good idea because ...., what do you
> say?"?

GitHub pull requests can be marked as "drafts" on creation (this is a
relatively new feature), but I'm not sure if GitLab supports this yet.
Either way, this is not an essential feature - there are other ways to
convey the intention, e.g. by using a particular label or by using one's
words.  I've often seen people prepend their merge request titles with
"[WIP]", for example.  It's up to the maintainers and submitters to
determine what kind of convention they want to follow, given GitLab's
features.

>> The two branches in question are: (1) the branch containing the
>> submitter's proposed changes, and (2) the upstream branch these changes
>> are intended to be merged into.
>
>> The two branches can live either in the same repository, or in separate
>> "forks" (copies) of the same repository.  The former case means that the
>> submitter already has push access to the centralised upstream
>> repository.  The latter case is more common for first-time and
>> infrequent contributors who do not have push access, and thus have no
>> option but to create their merge requests (patch sets) against their
>> personal fork/copy/checkout of the upstream repository.
>
> Is the proposal here to allow an unauthenticated user to create forks on
> the main server?  This feels like a bad idea: how's moderation to be
> done?

I can imagine an arrangement not too dissimilar to Savannah: each
submitter will first have to create an account on the GitLab instance.
I'm not sure who will be administering this instance in practice,
though, or how.

One alternative would be cross-GitLab-instance merge requests, but a
quick online search suggests this is not yet implemented:

https://gitlab.com/gitlab-org/gitlab-ce/issues/1919
https://gitlab.com/gitlab-org/gitlab-ce/issues/4013
https://gitlab.com/gitlab-org/gitlab-ce/issues/47191

>> >> Gitlab et al. would provide that, IMO. When there's no PR/MR at the
>> >> beginning, the topic is submitted as an "Issue" and given a unique issue
>> >> number. However, patches aren't submitted to the issue: rather, a new
>> >> PR/MR is created, given a unique MR number, and is linked with the
>> >> relevant issue(s).
>
>> > Yuck!  I recently worked with a proprietory system where each bug had
>> > several different numbers, an  issue number, an analysis number, a patch
>> > number, and so on.  It caused extra effort to keep track of bugs, and
>> > was generally horrible.
>
>> Each bug report ("issue") has only a single number.  Similarly each
>> merge request has only a single number.
>
> So, each "issue" has its own number, and the numbers of each merge
> request associated with it.  It seems to me that sometimes one number
> will get used, sometimes another.  (As happened in the aforementioned
> proprietory system.)

I'm not sure what makes you think that.  Each number uniquely identifies
a completely independent entity.  If you want to refer to a particular
issue, you use that issue's ID.  If you want to refer to a particular
merge request, you use that merge request's ID.  You cannot refer to an
issue by the ID of any associated merge requests, and vice versa.

>> Merge requests are often submitted to address an existing issue, in
>> which case the relevant Git commit messages and/or merge request
>> description canonically contain a textual reference to this issue.  But
>> it is up to the submitter and/or reviewers to ensure such a reference
>> is mentioned somewhere; the UI does not force it upon anyone.
>
>> >> When the PR/MR is merged, any linked issues are closed.
>
>> > You needn't have used the passive voice, there.  What does your sentence
>> > mean?  That when a user merges a PR/MR, gitlab automatically closes the
>> > issue (whether it's finished, or not)?  Or that a user can close an
>> > issue only after somebody has first merged at least one PR/MR?  Or
>> > something else?
>
>> > What is the point of issues and PR/MRs having distinct identifiers, if
>> > they are so tightly coupled with eachother?
>
>> They are not that tightly coupled to each other.  Issues and merge
>> requests can be opened and closed independently of one another and in
>> any order, and each issue needn't be associated with a merge request,
>> and vice versa.  Even if they are associated, this association is mostly
>> implicit in the text of the discussion, not something imposed by GitLab.
>
> I think the normal practice on Emacs, apart from for simple bugs, is for
> somebody who isn't the author of the patch to close the bug, or at least
> to confirm that it's fixed.

The same practice can be followed using GitLab.

>> As mentioned elsewhere in this thread, however, GitLab can automatically
>> take certain known actions based on specially crafted command phrases
>> included as part of commit messages or discussion comments, for
>> convenience.  For example, if a merge request contains a commit which
>> includes the phrase "Fixes #123", then merging the merge request
>> (i.e. merging its constituent commits into the upstream branch) causes
>> GitLab to automatically close bug number 123.  Similarly including an
>> automatically stripped command such as "/close" in a comment causes its
>> issue or merge request to be closed.
>
> This doesn't sound like a good idea to me at the moment.  If I write
> "Fixes bug #123" into a commit message, that usually expresses an
> intention rather than a conclusion.  Surely closing bugs shouldn't happen
> automatically, possibly by accident.

IME it rarely happens by accident, and can be reversed when it does.
GitLab can probably be configured to disable these features (in the
future if not already).  They are provided for convenience, so if they
fail to be that can simply not be used.

>> >> This means that the discussion gets separated into two parts: the
>> >> discussion about the issue/problem (kept in the "Issues" category), and
>> >> the discussion about the patch/solution (kept in the "Merge Requests"
>> >> category).
>
>> > This sounds like a Bad Thing to me.  It sounds rather like a workflow
>> > being imposed which imagines that first the bug gets "resolved"
>> > (whatever that means) in discussion, and only then does work start on a
>> > separate "merge request".  The above mentioned proprietory system was
>> > like this.  It didn't lend itself to a natural and efficient way of
>> > working.
>
>> The workflow is mostly up to the maintainers to design.  Issues and
>> merge requests are independent entities - one mustn't come before the
>> other.  The only difference is that issues are discussion-only (though
>> code snippets and diffs can of course be included as part of a comment,
>> and can even be prettified with syntax highlighting in the web UI),
>> whereas merge-requests additionally contain a realtime comparison of the
>> current state of two Git branches, and allow interactive commenting on
>> specific lines of the diff.  How issues and merge requests are used,
>> linked, labelled, etc. is up to the maintainers.
>
> OK.
>
>> Thanks,
>
> Thanks for the reply!

Ditto. :)

-- 
Basil



  reply	other threads:[~2019-05-12 20:51 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
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 [this message]
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=87k1ev5rbl.fsf@tcd.ie \
    --to=contovob@tcd.ie \
    --cc=acm@muc.de \
    --cc=agrambot@gmail.com \
    --cc=dgutov@yandex.ru \
    --cc=eliz@gnu.org \
    --cc=emacs-devel@gnu.org \
    --cc=monnier@iro.umontreal.ca \
    --cc=toon@iotcl.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).