Weitergeleitete Nachricht
Betreff: Re: Github loses comments
Datum: Tue, 07 Jul 2015 00:29:38 -0700
Von: Ivan Žužak supp...@github.com
An: Thomas Martitz ku...@rockbox.org
Hi Thomas,
Thanks for sharing those details about your workflow.
If you create a comment on a commit
Hello,
first of all, I think github should fix this problem, instead of
enforcing a suboptimal workflow on us.
I reported this problem to github, let's see if they respond.
Am 07.07.2015 um 02:13 schrieb Matthew Brush:
Hi All,
As anyone trying to follow Pull Requests on Github has probably
On 2015-07-06 11:41 PM, Thomas Martitz wrote:
Hello,
first of all, I think github should fix this problem, instead of
enforcing a suboptimal workflow on us.
I reported this problem to github, let's see if they respond.
I think I reported it before already. IIRC they said something to the
Le 07/07/2015 08:41, Thomas Martitz a écrit :
[...]
Am 07.07.2015 um 02:13 schrieb Matthew Brush:
Hi All,
As anyone trying to follow Pull Requests on Github has probably
noticed, when you force push to your PR branch, Github deletes various
comments related to the PR, depending on what
Le 07/07/2015 02:13, Matthew Brush a écrit :
Hi All,
As anyone trying to follow Pull Requests on Github has probably
noticed, when you force push to your PR branch, Github deletes
various comments related to the PR, […]
Yeah, that annoyed the hell out of me more than a few times.
This
On 2015-07-07 06:07 AM, Colomban Wendling wrote:
Le 07/07/2015 02:13, Matthew Brush a écrit :
[snip]
In addition to the dropped comments, it makes it harder to follow
the changes made since it clobbers the Git history too, so you have
to basically review the entire changset by looking at the
On 7 July 2015 at 23:07, Colomban Wendling lists@herbesfolles.org wrote:
Le 07/07/2015 02:13, Matthew Brush a écrit :
Hi All,
As anyone trying to follow Pull Requests on Github has probably
noticed, when you force push to your PR branch, Github deletes
various comments related to the PR,
