Skip to content
This repository has been archived by the owner on Sep 23, 2023. It is now read-only.

Auto-delete merged patches #14

Open
edg2s opened this issue Feb 5, 2020 · 1 comment
Open

Auto-delete merged patches #14

edg2s opened this issue Feb 5, 2020 · 1 comment
Labels
enhancement New feature or request

Comments

@edg2s
Copy link
Collaborator

edg2s commented Feb 5, 2020

Maybe once per day? Merged patches can be tested on the beta cluster, this would be a pretty good way to disk usage in check. Depends on #4
@edg2s
Copy link
Collaborator Author

edg2s commented Sep 17, 2020

As a precursor we could at least flag we patches have been merged, e.g. show with a strikethrough

edg2s added a commit that referenced this issue Sep 17, 2020
@edg2s
Highlight merged/abandoned changes
3676d3b 
Part of #14
@edg2s edg2s mentioned this issue Sep 17, 2020
Merged
edg2s added a commit that referenced this issue Sep 17, 2020
@edg2s
Highlight merged/abandoned changes
2bc5856 
Part of #14
MatmaRex pushed a commit that referenced this issue Sep 22, 2020
@edg2s @MatmaRex
Highlight merged/abandoned changes
3e3025e 
Part of #14
MatmaRex pushed a commit that referenced this issue Sep 22, 2020
@edg2s @MatmaRex
Highlight merged/abandoned changes
9b17ae2 
Part of #14
@edg2s edg2s added the enhancement New feature or request label Sep 23, 2020
@edg2s edg2s mentioned this issue Sep 30, 2020
Closed
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
enhancement New feature or request
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@edg2s