tree 105f55e96cfb13d0c61578ea0374e1af6416528c
parent 56842c8f208801769f3afe7155622f9eebaec301
author Deepyaman Datta <deepyaman.datta@utexas.edu> 1584487851 -0500
committer Anthony Sottile <asottile@umich.edu> 1589555678 -0700

Support `extra_args` keyword in pre-commit GitHub action