Thanks. The two branches are now in-sync.
Vlad
On Thu, Jan 14, 2016 at 2:22 PM, Hardy Ferentschik <hardy(a)hibernate.org>
wrote:
Hi,
> Do we have to rewrite the staging history to match production and force
> push it?
If you want staging to look like production, just push the production
branch onto staging.
$ git push -f origin production:staging
--Hardy