darcs

Patch 2013 change interface to updatePatchHeader

Title change interface to updatePatchHeader
Superseder Nosy List ganesh
Related Issues
Status accepted Assigned To
Milestone

Created on 2020-03-05.07:34:04 by ganesh, last changed 2020-06-20.07:20:25 by bfrk.

Files
File name Status Uploaded Type Edit Remove
change-interface-to-updatepatchheader.dpatch ganesh, 2020-03-05.07:34:04 application/x-darcs-patch
patch-preview.txt ganesh, 2020-03-05.07:34:04 text/x-darcs-patch
unnamed ganesh, 2020-03-05.07:34:04 text/plain
See mailing list archives for discussion on individual patches.
Messages
msg21963 (view) Author: ganesh Date: 2020-03-05.07:34:04
This removes the buried 'effect' call in updatePatchHeader,
making it explicit at each call site (amend-record and
rebase unsuspend). This both makes it more visible, and will
facilitate refactoring rebase to use prims internally.

1 patch for repository darcs-unstable@darcs.net:screened:

patch 24983602d1a07331e9ced882210c8671bb7292df
Author: Ganesh Sittampalam <ganesh@earth.li>
Date:   Thu Mar  5 07:13:31 GMT 2020
  * change interface to updatePatchHeader
  
  This makes it clear that any conflicts in the patch
  being updated must be removed, and makes it consistent
  with infopatch which requires that fresh patches are
  conflict-free.
Attachments
History
Date User Action Args
2020-03-05 07:34:04ganeshcreate
2020-03-05 12:03:37ganeshsetstatus: needs-screening -> needs-review
2020-06-20 07:20:25bfrksetstatus: needs-review -> accepted