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?