Lars Schneider <[email protected]> writes: > Sorry for sending this email multiple times. My mobile email client created > html... Should be fixed now! > >> >> * ls/filter-process-delayed (2017-03-06) 1 commit >> - convert: add "status=delayed" to filter process protocol >> >> What's the status of this one??? >> cf. <[email protected]> > > posted v3 here: > https://public-inbox.org/git/[email protected]/ > > From my point of view the only open question is if we use an index > ("delay-id" favored by Peff) or the path (favored by Taylor) to identify > delayed items: > https://public-inbox.org/git/[email protected]/ > > https://public-inbox.org/git/20170412173404.GA49694@Ida/#r > > I slightly favor the path approach as it simplifies the protocol. But I also > trust Peff's opinion. >
Thanks for a nice summary. >> * ls/travis-doc-asciidoctor (2017-04-16) 3 commits >> (merged to 'next' on 2017-04-19 at 359c32953b) >> + travis-ci: unset compiler for jobs that do not need one >> + travis-ci: parallelize documentation build >> + travis-ci: build documentation with AsciiDoc and Asciidoctor >> >> Have Travis CI format the documentation with both AsciiDoc and >> AsciiDoctor. >> >> Will merge to 'master'. > > Can you hold this until next week? > The I would post a v2 and check asciidoc stderr: > https://public-inbox.org/git/[email protected]/ > > I can also post an additional patch if you prefer to merge now. Thanks; will hold.
