"Will they remember to write the filter? Maybe, "
Nothing wrong with "forgetting" to write the filter, and then if it's taking more than 10 minutes, write the filter.
Nothing wrong with "forgetting" to write the filter, and then if it's taking more than 10 minutes, write the filter.
Is this really the best we can do in terms of user experience? No. git need to step up.
A beginner will follow instructions in a README "Run git clone" or "run git clone --depth=1