##// END OF EJS Templates
users: added option to detach pull requests for users which we delete....
users: added option to detach pull requests for users which we delete. - as bonus added ability to specify new owner via ?detach_user_id=NUM GET param.

File last commit:

r4251:fc351abb merge default
r4351:2d86851b default
Show More
.release.cfg
33 lines | 403 B | text/x-ini | IniLexer
[DEFAULT]
done = false
[task:bump_version]
done = true
[task:rc_tools_pinned]
done = true
[task:fixes_on_stable]
done = true
[task:pip2nix_generated]
done = true
[task:changelog_updated]
done = true
[task:generate_api_docs]
done = true
[release]
state = prepared
version = 4.11.6
[task:updated_translation]
[task:generate_js_routes]
[task:updated_trial_license]
[task:generate_oss_licenses]