##// 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:

r3449:7c3af07c default
r4351:2d86851b default
Show More
release.nix
22 lines | 324 B | text/x-nix | NixLexer
# This file defines how to "build" for packaging.
{ pkgs ? import <nixpkgs> {}
, system ? builtins.currentSystem
, doCheck ? false
}:
let
enterprise_ce = import ./default.nix {
inherit
doCheck
system;
# disable checkPhase for build
checkPhase = ''
'';
};
in {
build = enterprise_ce;
}