dn42/registry
1
0
Fork 0
mirror of https://git.dn42.dev/dn42/registry.git synced 2026-02-14 15:12:21 +08:00
Code Issues Projects Releases Packages Wiki Activity Actions

Merge pull request 'Remove file deletion check from check-pol' (#6070) from burble/registry:update-check-pol into master

Browse source 
Reviewed-on: https://git.dn42.dev/dn42/registry/pulls/6070
Reviewed-by: schema-checker <schema-checker@noreply.dn42.dev>
This commit is contained in:
lare 2026-02-09 09:18:26 +00:00
commit aae59bc0ff
1 changed files with 1 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

4
check-pol
View file

@ -70,9 +70,7 @@ do
object="$3"
# check the file really is a registry object
# (including if it still exists, as it may have been deleted)
if [ -f "$filename" ] && [ "$path" = 'data' ] && \
[ -n "$type" ] && [ -n "$object" ]
if [ "$path" = 'data' ] && [ -n "$type" ] && [ -n "$object" ]
then
# run the check script