Sometimes nbgitpuller doesn’t overwrite changes to users notebooks even though changes in the upstream repo have been made. This probably makes sense if a an existing user has changes in their notebook they wish to keep and no easy fastforward merge is available, but what if as a teacher I always want the latest upstream changes to be merged, forcefully if necessary? Is there an option for nbgitpuller to always overwrite the existing workspace if a fastforward merge isn’t possible? Sorry if I’ve overlooked this in the documentation, or if I’ve misunderstood git or nbgitpuller and please forgive my ignorance. Thank you!