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.

Author: timschumi

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