Code

Push mirroring#1084

Code

Merged

tcojean merged 5 commits intodevelopginkgo-project/ginkgo:developfrom push_mirrorginkgo-project/ginkgo:push_mirrorCopy head branch name to clipboardJul 22, 2022

+49-9

Commits

Commits on Jul 20, 2022

• Use /usr/bin/env bash

  tcojean

  committed
  cb2ad2a

  Copy full SHA for cb2ad2a

• Try push mirroring to gitlab

  tcojean

  committed
  f69df6d

  Copy full SHA for f69df6d

Commits on Jul 21, 2022

• fix

  tcojean

  committed
  df3493c

  Copy full SHA for df3493c

Commits on Jul 22, 2022

• Delete unneeded settings

  Show description for 7ae922d
  

  tcojean

  and

  upsj

  committed
  7ae922d

  Copy full SHA for 7ae922d

• Make sure checkout will work, remove prune

  Show description for e372174
  

  tcojean

  and

  yhmtsai

  committed
  e372174

  Copy full SHA for e372174