##// END OF EJS Templates
pull-request-reviewers: added option to add reviewers by picking an user group for pull requests....
pull-request-reviewers: added option to add reviewers by picking an user group for pull requests. - fixes #5228

File last commit:

r1:854a839a default
r1678:7e2afc04 default
Show More
mem_watch
1 line | 151 B | text/plain | TextLexer
ps -eo size,pid,user,command --sort -size | awk '{ hr=$1/1024 ; printf("%13.2f Mb ",hr) } { for ( x=4 ; x<=NF ; x++ ) { printf("%s ",$x) } print "" }'