XSF Editor Team - 2022-01-07

jonas’ what is missing before this can be merged? https://github.com/xsf/xeps/pull/1128

tmolitor, thanks for asking

https://github.com/xsf/xeps/pull/1142 and #1128 look very similar

so it's not clear to me what to do here

1142 contains one more commit not in 1128, it is intended to bemerged on top ov 1128

ah

please mark 1142 as draft until 1128 is merged

okay, I'll do

in addition, 1128 commit history needs cleaning up: it adds a revision block, but not in the recentmost commit.

when adding a revision block, it must be added in the recentmost commit, otherwise it is ambiguous what the revision really contains

okay, I'll do

I can squash all commits into one if that is okay

I suppose in this case that's okay

okay

done

I rebased both other PRs upon thesquashed one now

tmolitor, LGTM now, I'll take care of it next tuesday

(unless you have constraints which raise the urgency)

No, no constraints other than the one that this change is waiting to geht merged for a couple of weeks now ;)

jonas’: -^

right, tuesday it is :)

perfect :)