+ [2016-09-29T01:03:29Z] Intee Peng, I must be doing something wrong then. I tried 'git rm file; git commit -m 'blah'; 'git push -u origin master'
+ [2016-09-29T01:04:03Z] Peng sounds good
+ [2016-09-29T01:04:21Z] Peng ...i think
+ [2016-09-29T01:05:05Z] Intee Oh, it worked this time.
+ [2016-09-29T01:05:15Z] Intee I must have been doing somethign wrong before. Thanks Peng <3

message no. 151939

Posted by Peng in #github at 2016-09-29T01:02:40Z

If git really believes it was deleted, and you commit it, and push the commit to the appropriate branch, it will look deleted on GitHub
+ [2016-10-01T03:49:22Z] mod I had a work github login and a personal github login. I changed the work login to be an organization and adde my personal as a member. However, I used to log into packagist via my old work github user. That user no longer exists because it's not an org, so I can no longer log into it and so log into packagist and manage the packages owned by that user.
+ [2016-10-01T03:49:52Z] mod Is there a way to get access to the packagist user so that I can manage the packages once again?
+ [2016-10-01T03:55:33Z] allejo #composer may be able to better help you since it's their service that's causing you troubles not github directly
+ [2016-10-01T03:56:06Z] allejo or the packgist github repo as well