darcs

Patch 2105 resolve issue2659: check for bad patch n... (and 3 more)

Title resolve issue2659: check for bad patch n... (and 3 more)
Superseder Nosy List bfrk
Related Issues
Status accepted Assigned To
Milestone

Created on 2020-10-19.16:44:21 by bfrk, last changed 2020-10-19.21:55:27 by ganesh.

Files
File name Status Uploaded Type Edit Remove
patch-preview.txt bfrk, 2020-10-19.16:44:20 text/x-darcs-patch
resolve-issue2659_-check-for-bad-patch-name-after-invoking-editor_-too.dpatch bfrk, 2020-10-19.16:44:20 application/x-darcs-patch
unnamed bfrk, 2020-10-19.16:44:20 text/plain
See mailing list archives for discussion on individual patches.
Messages
msg22486 (view) Author: bfrk Date: 2020-10-19.16:44:20
4 patches for repository http://darcs.net/screened:

patch a1a6d933118b7fb751a8b41a6dcb682f810c7c1f
Author: Ben Franksen <ben.franksen@online.de>
Date:   Mon Oct 19 10:28:12 CEST 2020
  * resolve issue2659: check for bad patch name after invoking editor, too

patch eddd7ae2b70d466f43a3b1008c615788033e3d05
Author: Ben Franksen <ben.franksen@online.de>
Date:   Mon Oct 19 10:29:54 CEST 2020
  * D.UI.PatchHeader: define is_badname in terms of just_a_badname

patch d731955210c5716cadcd03ddcfef2fc5ea100de2
Author: Ben Franksen <ben.franksen@online.de>
Date:   Mon Oct 19 10:30:44 CEST 2020
  * D.UI.PatchHeader: add "error" prefix to bad patch name error messages
  
  This makes it a bit clearer that the operation failed.

patch defa429086b2847cca7df5efa87c86197182ac25
Author: Ben Franksen <ben.franksen@online.de>
Date:   Mon Oct 19 13:50:51 CEST 2020
  * remove an obsolete TODO comment
Attachments
msg22488 (view) Author: ganesh Date: 2020-10-19.20:21:39
Looks fine
History
Date User Action Args
2020-10-19 16:44:21bfrkcreate
2020-10-19 16:46:22bfrksetstatus: needs-screening -> needs-review
2020-10-19 20:21:39ganeshsetstatus: needs-review -> accepted-pending-tests
messages: + msg22488
2020-10-19 21:55:27ganeshsetstatus: accepted-pending-tests -> accepted