[Improvement suggestion] PR title created by bot

[poojaranjan]

For the title of the PRs created by bot, it would be nice to have "-" between EIP & the number.
eg #3847

could be
EIP-1444 stagnant (2021-Sep-5th@01.10.32)

I imagine the bot using "EIP-123" would help people follow how to better refer to an EIP.

[alita-moore]

fixed by 6e38082