@Bennet I'm on my way to a vacation. 🙂 My initial analysis is we cannot unstuck users, because they are no longer running git pull.