use deploy key for the release

[rberrelleza]

it's better to use deploy keys than GitHub tokens

[derek]

Thank you for your contribution. I've just checked and your commit doesn't appear to be signed-off. That's something we need before your Pull Request can be merged. Please see our contributing guide.
Tip: if you only have one commit so far then run: git commit --amend --signoff and then git push --force.

[codecov]

Codecov Report

Merging #1445 (dcb4e40) into master (b64902f) will not change coverage.
The diff coverage is n/a.

@@           Coverage Diff           @@
##           master    #1445   +/-   ##
=======================================
  Coverage   36.24%   36.24%           
=======================================
  Files          79       79           
  Lines        7261     7261           
=======================================
  Hits         2632     2632           
  Misses       4301     4301           
  Partials      328      328           

---

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update b64902f...dcb4e40. Read the comment docs.