tools: use github.actor instead of bot username for release proposals

tools: use github.actor instead of bot username for release proposals #738