From 8a5941e2944d59d2d74a077dd8f3b17fb749f7c5 Mon Sep 17 00:00:00 2001 From: Tim Schumacher Date: Wed, 1 Jun 2022 00:59:55 +0200 Subject: [PATCH] Ports: Force-add all files when entering `dev` This keeps us from accidentally excluding files that are listed in the `.gitignore` but that are included in the tarball anyways. --- Ports/.port_include.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Ports/.port_include.sh b/Ports/.port_include.sh index 18ac265c4e..4bb4fc65d6 100755 --- a/Ports/.port_include.sh +++ b/Ports/.port_include.sh @@ -727,7 +727,7 @@ do_dev() { pushd "$git_repo" if [ ! -d "$git_repo/.git" ]; then git init . - git add . + git add --all --force git commit -a -m 'Initial import' fi # Make it allow pushes from other local checkouts