Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Moved code polishing #187432

Closed
3 tasks done
hediet opened this issue Jul 10, 2023 · 1 comment
Closed
3 tasks done

Moved code polishing #187432

hediet opened this issue Jul 10, 2023 · 1 comment
Assignees
@hediet
Labels
diff-editor Diff editor issues feature-request Request for new features or functionality on-testplan
Milestone
August 2023

Comments

@hediet
Copy link
Member

hediet commented Jul 10, 2023 •
edited
Loading

Tasks
Preview Give feedback
  1. Moved Code Alignment Buggy #185498
    bug diff-editor insiders-released verified
    hediet
  2. Diff Editor: Detect Exact Moves #189540
    diff-editor feature-request insiders-released verification-needed verified
    hediet
  3. Moved Code Lines Overlap Too Much #191255
    bug diff-editor insiders-released verified
    hediet

Moved out:
@hediet hediet added feature-request Request for new features or functionality diff-editor Diff editor issues labels Jul 10, 2023
@hediet hediet added this to the July 2023 milestone Jul 10, 2023
@hediet hediet self-assigned this Jul 10, 2023
@hediet hediet mentioned this issue Jul 10, 2023
Closed
@hediet hediet added polish Cleanup and polish issue and removed feature-request Request for new features or functionality labels Jul 10, 2023
@chrisdias chrisdias mentioned this issue Jul 10, 2023
Closed
54 tasks
@hediet hediet modified the milestones: July 2023, August 2023 Jul 26, 2023
@kieferrm kieferrm mentioned this issue Aug 6, 2023
Closed
65 tasks
@hediet
Copy link
Member Author

hediet commented Aug 24, 2023

Result of the second iteration:

Code_-_OSS_GW3McYmrkI

@hediet hediet closed this as completed Aug 24, 2023
@hediet hediet added feature-request Request for new features or functionality on-testplan and removed polish Cleanup and polish issue labels Aug 28, 2023
@hediet hediet mentioned this issue Aug 28, 2023
Closed
3 tasks
@github-actions github-actions bot locked and limited conversation to collaborators Oct 9, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@hediet hediet

Labels
diff-editor Diff editor issues feature-request Request for new features or functionality on-testplan
Projects
None yet
Milestone
August 2023
Development

No branches or pull requests
1 participant
@hediet