Comment Comment by SAI_Peregrinus I use that all the time as a shortcut to push new git branches without having to type the whole name. parent SAI_Peregrinus 4 years ago