Timothy writes:
> Pushed :) For future reference, should I be less wary of pushing commits
> I'm confident in and haven't had any negative feedback on?
Yes, sure.
> p.s. updates.orgmode.org is returning a 502 error again
Fixed, thanks.
PS: I'm off next week but will be more available from 20-
Bastien writes:
> You can consider this an explicit approval :) Even if we do something
> wrong, we can always discuss and revert it.
>
> Thanks!
Pushed :) For future reference, should I be less wary of pushing commits
I'm confident in and haven't had any negative feedback on?
--
Timothy
p.
Hi Timothy,
Timothy writes:
> Bastien writes:
>
>> I let Timothy decide.
>
> I consider this patch fit to merge. I'm just under the impression that
> this I should only push files I'm listed as a maintainer for without
> explicit approval.
You can consider this an explicit approval :) Even if
Bastien writes:
> I let Timothy decide.
I consider this patch fit to merge. I'm just under the impression that
this I should only push files I'm listed as a maintainer for without
explicit approval.
--
Timothy
"Bruce D'Arcus" writes:
> Can we merge this patch now?
I let Timothy decide.
--
Bastien
Can we merge this patch now?
On Wed, Jun 30, 2021 at 7:14 AM Bruce D'Arcus wrote:
>
> Looks good, Bastien, and I think reflects the consensus of that thread.
>
> But trying just now, I'm not able to apply the patch on my local repo
> for whatever reason, so haven't tested it.
>
>
>
> On Wed, Jun
Looks good, Bastien, and I think reflects the consensus of that thread.
But trying just now, I'm not able to apply the patch on my local repo
for whatever reason, so haven't tested it.
On Wed, Jun 30, 2021 at 6:48 AM Bastien wrote:
>
> Hi Bruce,
>
> "Bruce D'Arcus" writes:
>
> > What's the st
Hi Bruce,
"Bruce D'Arcus" writes:
> What's the status of this patch?
Can you quickly review it and say whether it's good?
Thanks,
--
Bastien
What's the status of this patch?
On Sun, Jun 6, 2021 at 12:55 PM Timothy wrote:
>
> Hey all,
>
> From the earlier discussion on this, I got feeling a consensus had
> reached that this is a good idea, as long as we check that latexmk is
> available first.
> As such, here is a patch changing the de
Hey all,
>From the earlier discussion on this, I got feeling a consensus had
reached that this is a good idea, as long as we check that latexmk is
available first.
As such, here is a patch changing the default LaTeX compiler to latexmk
--- as long as it's available. For what it's worth I've been u
10 matches
Mail list logo
