##// END OF EJS Templates
pull-requests: add merge check that detects WIP marker in title. This will prevent merges in such case....
pull-requests: add merge check that detects WIP marker in title. This will prevent merges in such case. Usually WIP in title means unfinished task that needs still some work. This pattern is present in Gitlab/Github and is already quite common.

File last commit:

r2999:3562d1f6 default
r4099:c12e69d0 default
Show More
.howto
9 lines | 158 B | text/plain | TextLexer
docs: updated packages.
r2999 # generating packages
nix-shell pkgs/shell-generate.nix
cd docs
pip2nix generate
project: added all source files and assets
r1 # building the docs
cd docs
nix-build default.nix -o result
docs: updated packages.
r2999 make clean html