Check for changes to docs directory to trigger runs of verify and merge