On Tue, Jun 23, 2020 at 8:37 AM Ondrej Mosnacek <omosnace@xxxxxxxxxx> wrote: > > The current way of fetching new changes from git blows up when there has > been a force-push. Switch to just fetching and then checking out the > remote branch directly rather than using git pull. > > Signed-off-by: Ondrej Mosnacek <omosnace@xxxxxxxxxx> Acked-by: Stephen Smalley <stephen.smalley.work@xxxxxxxxx>
