Hi again Martin, On Fri, May 22, 2020 at 05:56:33PM -0400, Martin Blais wrote: > The Beancount repository and issue tracker has been migrated to Github, at > this location:
as far as I can tell from: https://travis-ci.org/github/beancount/beancount/pull_requests CI builds are not enabled for pull requests. Can you enable them? It's gonna help both you and PR submitters in shortening feedback loops, I think. To enable them all that should be needed is going here: https://travis-ci.org/github/beancount/beancount/settings and flipping the switch "Build pushed pull requests" (there's also "Build pushed branches", but that concerns only the people with direct push access). Thanks for considering, Cheers -- Stefano Zacchiroli . z...@upsilon.cc . upsilon.cc/zack . . o . . . o . o Computer Science Professor . CTO Software Heritage . . . . . o . . . o o Former Debian Project Leader & OSI Board Director . . . o o o . . . o . « the first rule of tautology club is the first rule of tautology club » -- You received this message because you are subscribed to the Google Groups "Beancount" group. To unsubscribe from this group and stop receiving emails from it, send an email to beancount+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/beancount/20200523155310.hxufpc4fg5praz5v%40upsilon.cc.
