diff options
author | Andrew Robbins <contact@andrewrobbins.info> | 2019-03-13 21:04:07 -0400 |
---|---|---|
committer | Andrew Robbins <contact@andrewrobbins.info> | 2019-03-13 21:04:07 -0400 |
commit | a4bcf4852289c58852b308eab94e9bc48b7ef814 (patch) | |
tree | fb817d4d9e0c263ffd04f288c1ef536fe253e3da /resources/grub/patch | |
parent | bd84ece1d42d00d48357ab31ca85a2f2f546fd84 (diff) | |
download | librebootfr-a4bcf4852289c58852b308eab94e9bc48b7ef814.tar.gz librebootfr-a4bcf4852289c58852b308eab94e9bc48b7ef814.zip |
libs/git: Apply patches before removing blobs
Patching before removing blobs is cleaner since patches are applied
against a freshly created and checked out branch at the specified
revision. Applying patches first also seems to reduce the likelihood
of failed patching attempts due to a nebulous error about files not
matching the git index (but doesn't eliminate it). More debugging
required.
Diffstat (limited to 'resources/grub/patch')
0 files changed, 0 insertions, 0 deletions