Drop lint environment from GitHub actions in favor of pre-commit.ci (#571)
Drop lint environment from GitHub actions in favor of pre-commit.ci (#571)

The lint stage of CI is already handled by pre-commit.ci. With it, the
extra run in GitHub action is redundant and only consumes time and
resources unnecessarily.

pre-commit.ci is also faster to respond with results.
jpadilla/pyjwt,progrium/pyjwt