4 ms·

A pull request would edit a page, I think.

• bachmeier 12y ago
  But that doesn't make it a wiki.
  • TazeTSchnitzel 12y ago
    Au contraire, I think GitHub's editing features are actually close enough to make a wiki. Though... you might as well just use GitHub's Wiki...