You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The initial #3 did strip out the second clone of the local copy since the tool isn't going to be part of a linux repo directly. Still need to update notes so it is clear that the tool should setup it's own working copies for analysis.
Don't suggest to the user to use a development clone and leave the working folder the scripts use just for this workflow.
https://github.com/elisa-tech/delta-kernel/pull/1/files#r1693716744
Need to better describe the use cases the script is trying to meet.
The text was updated successfully, but these errors were encountered: