##// END OF EJS Templates
pull-requests: in case of an error redirect to the same url as source....
pull-requests: in case of an error redirect to the same url as source. - will keep the bookmark/branch info, and help re-select proper revisions.
marcink -
r2052:7fd6e6f2 default
Show More
Name Size Modified Last Commit Author
/ docs / extensions
config-ext.rst Loading ...
example-ext.py Loading ...
extensions-hooks.rst Loading ...
extensions.rst Loading ...
full-blown-example.rst Loading ...
hooks.rst Loading ...
install-ext.rst Loading ...
int-slack.rst Loading ...
rcx.rst Loading ...