Ghub script#14

Open

vmcj wants to merge 22 commits intomainfrom

Commits on Mar 27, 2021

Extend on the redjudging overview
vmcj
committed
first trigger
vmcj
committed
cleanup
vmcj
committed
Go
vmcj
committed
go
vmcj
committed
wait for the result
vmcj
committed
gogo
vmcj
committed
gogogo
vmcj
committed
new try
vmcj
committed
new try
vmcj
committed
new try
vmcj
committed
new try
vmcj
committed
new try
vmcj
committed
new try
vmcj
committed
new try
vmcj
committed
Update comment_pr.yml
vmcj
authored
Update comment_pr.yml
vmcj
authored
Update comment_pr.yml
vmcj
authored
Update comment_pr.yml
vmcj
authored
Update comment_pr.yml
vmcj
authored
Update comment_pr.yml
vmcj
authored
Update comment_pr.yml
vmcj
authored