latest 2 messages by jonfen_
+
[2015-04-01T21:16:10Z]
jonfen_
https://developer.github.com/guides/managing-deploy-keys/#machine-users
+
[2015-04-01T21:15:13Z]
jonfen_
is there any difference between creating a machine user on github and a regular user?