Skip to content

Conversation

@emsk
Copy link
Contributor

@emsk emsk commented Nov 13, 2016

Thank you for your nice work!

I fixed some coding styles for other contributors.
Would you review this?

FYI, I used eslint for checking styles on my local machine.

debugger22 and others added 28 commits October 7, 2016 11:47
Add a feature to filter out events of specified repos/orgs
The GitHub API doesn't actually return `action = merged' when a PR
is merged; it just sets `pull_request.merged = true'.

From the Description field for the Action key:
https://developer.github.com/v3/activity/events/types/#pullrequestevent
With this commit each event has a proper link directing to the actual
event, except PushEvents which direct to the repo since there isn't
any available link to the commits.
Mixed improvements on server and client
@debugger22 debugger22 force-pushed the master branch 2 times, most recently from 872e658 to e5d1bb7 Compare January 18, 2023 12:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

9 participants