* Martin Blais <[email protected]> [2020-05-18 04:24]: > It's a bummer the author of all tickets ends up being who runs the script,
Unfortunately the GitHub API doesn't allow setting the submitter. I ran into the same issue with the ledger migration from Bugzilla. > but we can live with that and manually Cc the github author when a ticket > is updated. Yeah, agreed. -- Martin Michlmayr https://www.cyrius.com/ -- 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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/beancount/20200519072810.GK5179%40jirafa.cyrius.com.
