Hi all, To push files to github from plan9 I generally follow this practice:
echo 'ssh [email protected] /bin/git/add * /bin/git/commit -m "new updates" * /bin/git/push -u [email protected]:name-of-repo' However, I'm having an issue where git/push uploads new and modified files to github, but doesn't delete files that have been removed from the local repository. I.e. after git/push, the files still exist on github. Is this normal behaviour? I'm coming from Linux. Rari ------------------------------------------ 9fans: 9fans Permalink: https://9fans.topicbox.com/groups/9fans/T77ae50fbd1e2184a-Me65d891ada8b1358c939ccf2 Delivery options: https://9fans.topicbox.com/groups/9fans/subscription
