+ [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. 151938

Posted by Intee in #github at 2016-09-29T01:01:39Z

Hey guys, could someone tell me how I delete a file from my repo? I have deleted it from my local machine and tried pushing the changes but it's still listed in the repo 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