notes

meta-introspector · Mar 9, 2024 · a3affe0 · a3affe0
1 parent 81c0c3b
commit a3affe0
Show file tree

Hide file tree

Showing 8 changed files with 23 additions and 1 deletion.
diff --git a/.gitmodules b/.gitmodules
@@ -3397,3 +3397,18 @@
 [submodule "2024/03/08/elixir-xla"]
 	path = 2024/03/08/elixir-xla
 	url = https://github.com/meta-introspector/xla
+[submodule "2024/03/09/jmlcoq"]
+	path = 2024/03/09/jmlcoq
+	url = https://github.com/coq-community/jmlcoq
+[submodule "2024/03/09/turbocharger"]
+	path = 2024/03/09/turbocharger
+	url = https://github.com/coqoon/turbocharger
+[submodule "2024/03/09/pcc"]
+	path = 2024/03/09/pcc
+	url = https://github.com/palmskog/pcc
+[submodule "2024/03/09/Java"]
+	path = 2024/03/09/Java
+	url = https://github.com/jesper-bengtson/Java
+[submodule "2024/03/09/coqfj"]
+	path = 2024/03/09/coqfj
+	url = https://github.com/hephaestus-pl/coqfj
diff --git a/2024/03/07/openxla b/2024/03/07/openxla
diff --git a/2024/03/09/Java b/2024/03/09/Java
diff --git a/2024/03/09/coqfj b/2024/03/09/coqfj
diff --git a/2024/03/09/jmlcoq b/2024/03/09/jmlcoq
diff --git a/2024/03/09/notes.org b/2024/03/09/notes.org
@@ -0,0 +1,2 @@
+
+jq -r  '.[]| "git remote add " + .headRepositoryOwner.login +  " https://github.com/" + .headRepositoryOwner.login + "/" + .headRepository.name ' prs.json |sort -u
diff --git a/2024/03/09/pcc b/2024/03/09/pcc
diff --git a/2024/03/09/turbocharger b/2024/03/09/turbocharger
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,2 @@

		jq -r '.[]\| "git remote add " + .headRepositoryOwner.login + " https://github.com/" + .headRepositoryOwner.login + "/" + .headRepository.name ' prs.json \|sort -u