4 Commits (f85df16180c2c8b04888ba72e9fa0b66322de262)

Author	SHA1	Message	Date
Owen Voke	5e958f6074	Update scripts to use PULL_REQUEST_ID	2020-06-26 18:55:59 +02:00
Owen Voke	7472600aa1	Update Travis references in scripts	2020-06-26 18:55:59 +02:00
Marco Bonelli	c8291fdcfa	Remove unnecessary newlines in send-to-bot messages. (#3754) ... GitHub wraps text in comments even when a single newline is encountered. This made comments by @tldr-bot look awkward.	2020-01-13 20:45:31 +01:00
Marco Bonelli	2ae688016a	Send to bot: rename script	2019-11-29 16:01:25 +00:00