lakeFS icon indicating copy to clipboard operation
lakeFS copied to clipboard

Published 20 hours ago • verified publisher icon treeverse

Allow closing a PR with no changes

Open arielshaqed opened this issue 9 months ago • 1 comments

If a PR has no changes then it cannot be merged... but it also cannot be closed or deleted! This means it will never go away.

PR shows "Merging is disabled for pull requests without changes" and no operations are possible on that PR

arielshaqed avatar Feb 19 '25 14:02 arielshaqed

@arielshaqed we need a new workflow file to handle that ?

ghost avatar Mar 01 '25 17:03 ghost