Ranks contributors for a Github repository based on number of pull requests merged.
This is an API which is used here: https://github.com/virajvchavan/github-leaderboards-ui
Code is supposed to be deployed as serverless functions.
Built this to try out serverless deployments and the Serverless Framework (http://serverless.com/).
Deployed here: https://ohwoj3u4oi.execute-api.us-east-1.amazonaws.com/dev/prs E.g.: https://ohwoj3u4oi.execute-api.us-east-1.amazonaws.com/dev/prs?owner=denoland&repo=deno
Run locally:
- First install the serveless cli (https://www.serverless.com/framework/docs/getting-started/)
- Add a file env.yml with the required environment variables
- serverless offline start
Run locally with debug mode: SLS_DEBUG=* serverless offline start
Deploy to cloud: serverless deploy
http://localhost:3000/dev/prs?owner=denoland&repo=deno
The API:
-
GET
/prs?owner=denoland&repo=deno- Three possible responses:
{ status: "processing" }{ status: "done", users: [{username, merged_prs, open_prs}, ...] } // users are sorted by merged_prs_count{ status: "error" }
- Three possible responses:
-
View logs for the deployed app:
serverless logs -f leaderboard -t