Add `GITHUB_USERNAME` to PR engine

SoftwareMarbles / lazy

Hackable Coding Assistant

http://getlazy.org

MIT License

1 stars 0 forks source link

Add `GITHUB_USERNAME` to PR engine #45

Closed ierceg closed 7 years ago

ierceg commented 7 years ago

Instead of assuming that the 1st entry in logins.json is the one that we should use, we could allow users to define optional GITHUB_USERNAME envvar which would then be used by the engine to find the token (and also warn when there is no token)

ierceg commented 7 years ago

In light of #71 this is no longer a valid case. Only the tokens of the last user that signed in last with access engine will be kept and served to other engines.