GNUBoot/gnuboot
GNUBoot
/
gnuboot
mirror of https://git.savannah.gnu.org/git/gnuboot.git
2
1
Fork 0
Code Issues Releases Activity

Switch to our untitled mirror 

This makes sure that we host all the source code to reproduce that
website and that we build it with that.

Signed-off-by: Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org>
This commit is contained in:
Denis 'GNUtoo' Carikli 2022-11-24 03:14:58 +01:00
parent c37de82ede
commit 75660feab4
Signed by: GNUtoo
GPG Key ID: 5F5DFCC14177E263
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
build.sh
View File

@ -17,7 +17,7 @@
set -e set -e
if [ ! -d untitled ] ; then if [ ! -d untitled ] ; then
git clone https://notabug.org/untitled/untitled git clone https://git.sr.ht/~gnutoo/untitled
else else
git -C untitled clean -dfx git -C untitled clean -dfx
git -C untitled pull --rebase git -C untitled pull --rebase