user, push, pull event extensions by seregamorph · Pull Request #944 · hub4j/github-api

* @return GitHub username
*/
public String getUsername() {
return username;

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Hm, I see it here:

"username": "baxterthehacker"

but it isn't in the current GitHub docs. Might be only present in older versions of GitHub Server?

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I have it in GitHub (global; not enterprise) standard webhook notification on push event

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Done. Marked as

    @Preview
    @Deprecated
    @CheckForNull

and added javadoc

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.