Merge branch 'ign-del' into 'master'

CI: Ignore deleted recipes in fetch-changed

See merge request redox-os/redox!2279
This commit is contained in:
Jeremy Soller 2026-07-26 05:57:09 -06:00
commit d14c2705f2

View File

@ -4,7 +4,7 @@ set -e
git fetch origin master
packages=""
for toml in $(git diff --name-only origin/master... | grep '/recipe.toml$' | sort | uniq)
for toml in $(git diff --name-only origin/master... --diff-filter=d | grep '/recipe.toml$' | sort | uniq)
do
package="$(basename "$(dirname "${toml}")")"
if [ -n "${packages}" ]