Unexpected message for user pull

[basz]

infinit user pull       
Remotely deleted identity for user "bushbaby123".

not sure if it actually deleted the user, but this does not sound correct

v0.8.0

[basz]

infinit user pull --name bas123
infinit: fatal error: Forbidden deleting user "bas123", ensure the user has been set using --as or INFINIT_USER

[Dimrok]

It's not a bug, it's expected.

We chose push / pull for add something to the hub / remove something from the hub. You probably meant to use infinit user fetch.

[basz]

I see. pull does not sound like get and remove, but I think I feel it now... I did a push credentials to restore...

[Dimrok]

For the second one, you need to use --as bas123 to remove resources associated to bas123 (that was designed to ease the integration of administrators).

[Dimrok]

pull does not sound like get and remove

We discussed a lot this decision because it's confusing for git / docker / ... users.

[basz]

Perhaps explaining a bit more in --help would, uh help...

[Dimrok]

Sorry, We discussed a lot.

I'll make the help clearer.