Constant prs_lib::sync::GIT_PULL_OUTDATED
source · [−]pub const GIT_PULL_OUTDATED: Duration;
Expand description
Duration after which pull refs are considered outdated.
If the last pull is within this duration, some operations such as a push may be optimized away if not needed.