@bgardner @kjellr New merges will be reflected on the site within about 2 minutes.