No infraction. Thats the equivalent of a door ding, thats not an accident. But, do tell your supervisor and be honest. Remember, they almost always know everything that goes on anyways. This reminds me of driving up a tight residential driveway in the country, where the tree limbs slightly scratch the sides of the truck. This is not considered an accident, because these marks can be buffed out, and the marks are not down to the bare metal. Also, I would tell your supervisor to tell the inside guys, to open the doors higher with much more clearance to avoid this from happening again. Those doors should be raised so its wide open with plenty of room. I wouldn't worry about, you'll be fine.