tools: use github.actor instead of bot username for release proposals
#34
| Job | Run time |
|---|---|
| 1h 3m 38s | |
| 1h 3m 38s |
github.actor instead of bot username for release proposals
#34
| Job | Run time |
|---|---|
| 1h 3m 38s | |
| 1h 3m 38s |