set identity for repo
This commit is contained in:
parent
fe14640ece
commit
6b3bcfc7f7
1 changed files with 2 additions and 0 deletions
|
@ -20,6 +20,8 @@ mkdir -p "$adversarial"
|
||||||
if [ ! -d "$adversarial/.git" ]; then
|
if [ ! -d "$adversarial/.git" ]; then
|
||||||
git -C "$adversarial" init -b main
|
git -C "$adversarial" init -b main
|
||||||
git -C "$adversarial" remote add origin "$target_remote"
|
git -C "$adversarial" remote add origin "$target_remote"
|
||||||
|
git -C "$adversarial" config user.email amongus@example.org
|
||||||
|
git -C "$adversarial" config user.name Adversary
|
||||||
fi
|
fi
|
||||||
|
|
||||||
copy() {
|
copy() {
|
||||||
|
|
Loading…
Reference in a new issue