mirror of
https://github.com/Dev-Wiki/git-repo.git
synced 2025-10-15 04:52:40 +08:00
This alias will let people use this command without having to remember the option. Change-Id: I3256d9e8e884c5be9e77f70e9cfb73e0f0c544c6
This alias will let people use this command without having to remember the option. Change-Id: I3256d9e8e884c5be9e77f70e9cfb73e0f0c544c6