Ionic Push - device token not saved to $ionicUser

I have the same problem.

how could we save the device-token to ionicUser? there’s no sample code on the docs.