> I just corrected a mistake, so if your head commit is not e349b002499 then > please reset.
Can anyone explain me the proper procedure to do that ? Should I reset head in the branch develop and then force push to the develop branch of my GitHub clone ? I’m not a git / GitHub expert. Thanks, David. -- You received this message because you are subscribed to the Google Groups "sage-release" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-release/CC5F4B1E-A309-41CB-83CC-14897A9EEB4F%40gmail.com.
