+ [2015-04-13T20:16:29Z] cam Which seems like a pretty stupid way to track contributions -.-
+ [2015-04-13T20:16:50Z] tang^ that's the only way git tracks your commits
+ [2015-04-13T23:46:07Z] owen1 my ci server push commits and it's named by one of the developers. how do i change that name?
+ [2015-04-13T23:47:05Z] owen1 in .gitconfig i have [user] name = ci
+ [2015-04-13T23:47:23Z] owen1 i am not sure why it's using the developer's name instead

message no. 89431

Posted by stoned in #github at 2015-04-13T13:12:24Z

:)
+ [2015-04-14T01:21:40Z] owen1 is it possible to create an rsa key that belong to the company and not to individual?
+ [2015-04-14T01:21:46Z] owen1 it's for my CI server.
+ [2015-04-14T01:21:58Z] owen1 or do i have to create a new github user just for that CI?
+ [2015-04-14T01:26:56Z] owen1 maybe https://developer.github.com/guides/managing-deploy-keys/#machine-users
+ [2015-04-14T01:32:10Z] rgenito ok soooo... anyone know how to revert a commit with github?