Skip to content

improve commit trigger #1

@fvanderbiest

Description

@fvanderbiest

inotifywait -e modify $WATCH_FILE might not be the best trigger, since we're witnessing partial commits, eg https://github.com/camptocamp/georhena-geoserver-datadir/commit/20a6bc899e5542f4a1dbf2df98c86c69521d6263

Metadata

Metadata

Assignees

Labels

No labels
No labels

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions