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.

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:04	ganesh	create
2020-03-05 12:03:37	ganesh	set	status: needs-screening -> needs-review
2020-06-20 07:20:25	bfrk	set	status: needs-review -> accepted

Patch 2013 change interface to updatePatchHeader

Attachments