Repository navigation
Expand file tree
/
Copy pathpush_to_github.sh
More file actions
executable file
·50 lines (44 loc) · 1.78 KB
/
Copy pathpush_to_github.sh
File metadata and controls
executable file
·50 lines (44 loc) · 1.78 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
#!/usr/bin/env bash
#
# push_to_github.sh -- create the public repo and push the reproduction bundle.
#
# Prereqs (one-time):
# - git installed
# - GitHub CLI installed and authenticated: brew install gh && gh auth login
# (if you do not want to use gh, see the "MANUAL" section at the bottom.)
#
# Usage:
# cd /Users/matthewleibel/Downloads/trueloop_combinatorial_reproduction
# bash push_to_github.sh
#
set -e
REPO_NAME="TrueLoop-Compute-Combinatorial-Reproduction"
REPO_DESC="Reproduce the headline combinatorial results of the TrueLoop Compute runtime, off the hosted endpoint (n<=4096) or a licensed offline build."
# 1) make sure we are in the bundle folder
if [ ! -f "swc_backend.py" ]; then
echo "Run this from inside the trueloop_combinatorial_reproduction folder."
exit 1
fi
# 2) init git
git init
git add .
git commit -m "TrueLoop Compute combinatorial reproduction: endpoint + offline build, MIT (runtime not included)"
git branch -M main
# 3) create the PUBLIC repo on GitHub and push (uses GitHub CLI)
gh repo create "$REPO_NAME" --public --source=. --remote=origin \
--description "$REPO_DESC" --push
echo
echo "Done. Repo is live at: https://github.com/$(gh api user -q .login)/$REPO_NAME"
echo
# ---------------------------------------------------------------------------
# MANUAL (no GitHub CLI): create an EMPTY public repo named
# TrueLoop-Compute-Combinatorial-Reproduction
# on github.com first (do NOT add a README/license there), then:
#
# git init
# git add .
# git commit -m "TrueLoop Compute combinatorial reproduction"
# git branch -M main
# git remote add origin https://github.com/<YOUR_USERNAME>/TrueLoop-Compute-Combinatorial-Reproduction.git
# git push -u origin main
# ---------------------------------------------------------------------------