XSF Editor Team - 2019-10-15

hmm, how do I push on georg's branch btw, on github

Is that possible?

jonas’, ^

How do you usually do? Do you just prepare the merge on your repo and only then push to master?

note for later: I'll want to add support to send-updates.py to use my local msmtp setup

heh the XEP- headers are a nice touch

pep., I think there are instructions for that on the PR page

pep., and yes, normally I prepare just loclly

Right, it doesn't talk about what I want to do, it's another workflow, ok

unrelated, pilotfiber.dl.sourceforge.net has an expired cert since Sep 22 apparently.. it's being pulled in xep-docker-base

(https://pilotfiber.dl.sourceforge.net/project/getfo/texml/texml-2.0.2/texml-2.0.2.tar.gz)

I have a fix for that in the pipeline

ok

for now, just use the latest build off docker hub

https://github.com/xsf/xeps/pull/843 should I also put that in the batch or wait a bit?

https://github.com/Ppjet6/xeps/tree/merge-xep-423%2C402%2C405 jonas’

hmm

I've been rebasing stuff. Maybe I should force the author not to be me to have that a bit cleaner

Or I can just merge

don’t rebase other peoples commits

that’ll confuse github

yeah I can see that..

$ cat ~/.local/bin/git-make-pr-branch #!/bin/bash set -euo pipefail branch_name="$1" remote="$2" pr="$3" commit_id="$(git ls-remote "$remote" "refs/pull/$pr/head" | cut -f1)" git fetch "$remote" "$commit_id" git checkout -b "$branch_name" "$commit_id"

that script will make a new branch with the HEAD of the PR

you can add commits there, and then do a merge to master

I know, I'm already doing that

Ok, so merge

yes, merge

XEP-0423 lacks a revision block in the tree you linked me

wait I did add one though

https://github.com/Ppjet6/xeps/commit/0d37be6b7a14c8b5f36f6009892fdd4ea9878f65

you can add https://github.com/xsf/xeps/pull/843 to the merge

pep., that’s not showing up in https://github.com/xsf/xeps/compare/master...Ppjet6:merge-xep-423,402,405?expand=1 for some reason

it is

ugh

Only under my name

I’m too stupid to read diffs

hehe

did you check that the CI passes on this?

I have an awfully slow connection atm, docker barfs on me at each attempt

I get disconnected on a regular basis

pep., the CI is run by github, too

just make a PR

Right. let me do merges then, and I'll submit a PR

thanks

other than that, the formal stuff looks ok

Sent, https://github.com/xsf/xeps/pull/844

I'm moving to c3d2, see you online in a bit :)

oh, that’s close

Yes it's not far from you :p

I'm here until thursday morning, then moving to munich

daniel should be there tonight, and Astro, don't know if you know him

yeah, met astro at some meetpu

:)

Ok PR passed. I'll merge and spam standards

sounds good

smtplib.SMTPSenderRefused: (452, b'4.3.1 Insufficient system storage', 'pep@bouah.net')

oops, thanks smtplib for reminding me

hmm, that didn't catch 335?

because 335 doesn’t have a revision block, and the transition isn’t handled specially

please use the dry run mode to double-check output before sending emails

it’s fine to not-announce the transition tho

(we never did that before, either)

ok

Yeah I did check emails before. The one for 423 is a bit mangled but ~

I mean the revision block

heh

I'm also waiting for dwd to send an email or sth to standards for the agenda for tomorrow, to add 292 which is stuck in LC

But I guess it's probably not happening at this point (the email)

yeah, dwd sent a mail to council@

he won’t be able to write an agenda before tomorrow noon ✏

you can send agenda suggestions to dave@cridland.net

is council@ private?

Or am I just not subscribed to it

ok it's not private

I have a reliable connection now! I can check your docker PR

pep., https://github.com/xsf/xep-docker-base/pull/4

heh, ok

I'm curious how much work this is going to be to update to buster tbh..

I have another PR ;)

oh I don’t

nevermind

:D

jonas’, https://github.com/xsf/xeps/pull/810 that's ready to merge right?

I can take it as well if you want

doesn’t kev have to ack that first?

Ah indeed

https://github.com/xsf/xeps/pull/819 this is editor land though right?

Ah I tagged it already

"update copyright year"

pep., btw https://github.com/xsf/xeps/pull/825 is "ready to merge", I didn't put up the label because I'm OP

in case you want to have something to test your workflow with

I was looking for an ACK from Lance but yeah you have that in there

jonas’, I'm wondering if we shouldn't stop assigning editors(?) I personally don't mind if you merge stuff I have reviewed, and I guess in time it should be reciprocal :p

Maybe we want a "please don't touch this, I'll do it" signal

And that could be assigning? ✏