remove server exited unexpectedly
This commit is contained in:
parent
c89bd50f8e
commit
6fb5ab0938
3 changed files with 23 additions and 10 deletions
|
|
@ -39,8 +39,8 @@
|
|||
# diff-editor = "${pkgs.meld}/bin/meld";
|
||||
};
|
||||
|
||||
core.fsmonitor = "watchman";
|
||||
core.watchman.register-snapshot-trigger = true;
|
||||
fsmonitor.backend = "watchman";
|
||||
fsmonitor.watchman.register-snapshot-trigger = true;
|
||||
|
||||
revsets.log = "@ | ancestors(tronk()..(visible_heads() & mine()), 2) | tronk()";
|
||||
# revsets.log = "trunk()..@ | @..trunk() | trunk() | @:: | fork_point(trunk() | @)";
|
||||
|
|
@ -94,9 +94,6 @@
|
|||
"show"
|
||||
"--stat"
|
||||
];
|
||||
st = [
|
||||
"status"
|
||||
];
|
||||
move = [
|
||||
"rebase"
|
||||
"-r"
|
||||
|
|
@ -149,6 +146,7 @@
|
|||
)
|
||||
)
|
||||
'';
|
||||
git_push_bookmark = ''"jdonszelmann/" ++ change_id.short()'';
|
||||
};
|
||||
|
||||
signing = {
|
||||
|
|
@ -159,7 +157,6 @@
|
|||
};
|
||||
|
||||
git = {
|
||||
push-bookmark-prefix = "jdonszelmann/";
|
||||
private-commits = "description(glob:'wip:*') | description(glob:'trial:*')";
|
||||
write-change-id-header = true;
|
||||
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue