adb: first argument of push can be any file
adb: first argument of push can be any file

Regular files can be pushed, not only directories.

joshuarubin/dotfiles,joshuarubin/dotfiles,joshuarubin/dotfiles,joshuarubin/dotfiles