Travis CI integration: Wrong committer name

[lezsakdomi]

Here's a recording demonstrating the issue: Untitled Recording.pdf

(Sorry for the quality; it looks like we should provide a PDF storage engine for github issue attachments 😄)

[nonnymoose]

Sorry. I didn't realize you wanted me to use a token from the bot account. I'll fix that. It's funny that you used XSR :)

[nonnymoose]

@lezsakdomi Can you email me the username and password for the bot? For some reason, Github will only let me reset my own password, even though the bot's registered to my email.

[lezsakdomi]

@nonnymoose Sorry, I forgot to mention, that I've registered you with the email-address <google_account>+github-nonnymoos-xsr-machine-user@gmail.com rather than <google_account>@gmail.com.

For example, mine is lezsakdomi1+github-nonnymoos-xsr-machine-user@gmail.com. Altough you didn't verify it yet.

Anyways, I'm going to send a recovery link to you by email.

[nonnymoose]

@lezsakdomi I've attached the email I got. It asks me to verify the email, and then it asks for the password, which I can't reset, because I haven't verified the email :(. Gmail - [GitHub] Please verify your email address_.pdf

[nonnymoose]

This should have been fixed now.

[lezsakdomi]

Umm, it looks like you forgot to update a setting. https://travis-ci.org/nonnymoose/xsr/jobs/325885211#L509

[nonnymoose]

That's really odd. nonnymoose-xsr-machine-user can push...

[nonnymoose]

Oh wait, forgot public repo access. It's fixed now.

[lezsakdomi]

@nonnymoose Did you try pushing to the indicated URL manually? Maybe just the token has insufficient rights.

[lezsakdomi]

Maybe time to migrate to CircleCI :D

[nonnymoose]

@lezsakdomi The token did have insufficient rights. I have actually already fixed it.

[lezsakdomi]

Ohh, sorry, GitHub forgot to show me your comments. Wow, I didn't see like this before.

[nonnymoose]

No problem! That happens to me too sometimes.