Constant prs_lib::sync::GIT_PULL_OUTDATED

pub const GIT_PULL_OUTDATED: Duration;

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.