@civodul, does that means it’s no longer necessary to invoke git pull manually? I’m looking for a way to avoid doing so for each user. Cc: @lechner
git pull