search

manubot-zz / manuel.botero-hotmail.com

1 stars 0 forks source link

Possibility of using the @manubot GitHub username for the Manubot open source project #1

Closed dhimmel closed 5 years ago

dhimmel commented 5 years ago

Greetings Manuel / @manubot,

I'm Daniel Himmelstein, a researcher at the University of Pennsylvania and the lead developer of the Manubot project.

Manubot is an open source tool for writing scholarly manuscripts via GitHub. Our aim is to make science more transparent and reproducible. As our user base grows, we are looking to move our repositories to a dedicated GitHub organization. Of course, the @manubot handle would be ideal for this purpose.

If you are not too attached to this handle, would you be willing to transfer ownership to us and help support the cause? I know this may be an inconvenience and would be willing to pay you a reasonable fee for your time and efforts.

Looking forward to hearing back and feel free to email me at daniel.himmelstein@gmail.com.

dhimmel commented 5 years ago

Haven't heard back from @manubot in this issue or to an email I sent to manuel.botero@hotmail.com on 2018-10-18.

Using the GitHub API, we can find out a little bit more about the @manubot account:

curl https://api.github.com/users/manubot
{
  "login": "manubot",
  "id": 1241749,
  "node_id": "MDQ6VXNlcjEyNDE3NDk=",
  "avatar_url": "https://avatars1.githubusercontent.com/u/1241749?v=4",
  "gravatar_id": "",
  "url": "https://api.github.com/users/manubot",
  "html_url": "https://github.com/manubot",
  "followers_url": "https://api.github.com/users/manubot/followers",
  "following_url": "https://api.github.com/users/manubot/following{/other_user}",
  "gists_url": "https://api.github.com/users/manubot/gists{/gist_id}",
  "starred_url": "https://api.github.com/users/manubot/starred{/owner}{/repo}",
  "subscriptions_url": "https://api.github.com/users/manubot/subscriptions",
  "organizations_url": "https://api.github.com/users/manubot/orgs",
  "repos_url": "https://api.github.com/users/manubot/repos",
  "events_url": "https://api.github.com/users/manubot/events{/privacy}",
  "received_events_url": "https://api.github.com/users/manubot/received_events",
  "type": "User",
  "site_admin": false,
  "name": null,
  "company": null,
  "blog": "",
  "location": null,
  "email": null,
  "hireable": null,
  "bio": null,
  "public_repos": 1,
  "public_gists": 0,
  "followers": 1,
  "following": 0,
  "created_at": "2011-12-05T13:24:25Z",
  "updated_at": "2015-04-07T15:18:11Z"
}

I believe updated_at indicates the last time the user made an update to their account or repository (not sure if this excludes private repos).

Anyways, @manubot, if you receive this message, please get in touch!

dhimmel commented 5 years ago

Closing this issue since it appears GitHub changed this account to @manubot-zz and released the @manubot handle, which our project now controls. Thanks GitHub!