checkpoint before merging mitre decbit changes