Quoth [email protected]:
> Hi all,
>
> To push files to github from plan9 I generally follow this practice:
>
> echo 'ssh [email protected]
> /bin/git/add *
unless all the files in the current directory are newly
added, this is a no-op; git has no index on plan 9.
> /bin/git/commit -m "new updates" *
and this is the source of your problem; git/commit only
affects the files listed; if you didn't list the removed
files, they won't be modified in this commit.
try:
git/commit .
which includes all changes in the dir, not just the files
that still exist, or
git/commit $removed
> /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-Mca9358b5d812b7b4b9ae0ee5
Delivery options: https://9fans.topicbox.com/groups/9fans/subscription
