5357b33e57
These files are involved in creating gerrit docker images; make sure we trigger jobs when they are modified. Change-Id: I7c4436e066cfb0c2d0b2ca7adf54c99b09dac95f