4 ms·
Ideally it should be no different to the current situation; you cannot push to a branch that has been pushed to since your last pull - the difference being that
by yarg 5y ago
Ideally it should be no different to the current situation; you cannot push to a branch that has been pushed to since your last pull - the difference being that changes to the parent are also considered.