Enno Boland
|
31d28c0a2e
|
.github/workflows: Shorten the URLs from github
|
2019-12-20 13:44:48 +01:00 |
Enno Boland
|
87319512a6
|
.github/workflows: use a dedicated workflow for each event
|
2019-12-19 23:01:07 +01:00 |
Enno Boland
|
4fa9af7561
|
.github/workflows: Use Gottox/irc-message-action to avoid the docker overhead
|
2019-12-19 17:53:27 +01:00 |
Enno Boland
|
daffd7342f
|
.github/workflows: add a 3 minute timeout to the irc notifications
|
2019-12-19 17:53:27 +01:00 |
Enno Boland
|
a9f3b5c61d
|
.github/workflows: Show URLs instead of issue and PR #s.
|
2019-12-19 17:53:27 +01:00 |
Enno Boland
|
1978f8da23
|
.github/workflows: use notices instead of privmsg
this prevents the bot from joining.
|
2019-12-19 17:53:27 +01:00 |
Duncaen
|
eb2fa6f5a7
|
.github/workflows: use registered user
|
2019-12-18 21:50:29 +01:00 |
Duncaen
|
0d54b8733f
|
.github/workflows: fix pull request message again
|
2019-12-18 21:16:14 +01:00 |
Duncaen
|
928fe3ba78
|
.github/workflows: fix messages
|
2019-12-18 20:37:16 +01:00 |
Duncaen
|
85d48cd1bd
|
.github/workflows: revert notice
|
2019-12-18 20:30:52 +01:00 |
Duncaen
|
1e504671ce
|
.github/workflows: try to make irc notifications more useful
|
2019-12-18 20:28:46 +01:00 |
Enno Boland
|
b4db900aa5
|
.github/workflows: add irc notification workflow
|
2019-12-18 15:32:03 +01:00 |