##// END OF EJS Templates
pull-reqests: workflow, change who can close a PR, it's only super-admin...
pull-reqests: workflow, change who can close a PR, it's only super-admin owner or person who can merge. - before it was every reviewer can close. Which really doesn't make sense.
marcink -
r1686:f0d2d511 default
Show More
Name Size Modified Last Commit Author
/ ... / js / src / math_jax / jax / element
mml