• intrigeri's avatar
    Release process: add a git push · 9df6d759
    intrigeri authored
    This can be useful e.g. when 2 RMs share the work, to ensure
    the work done by the first one is actually pushed somewhere
    the second one will find it.
    9df6d759
release_process.mdwn 66.9 KB