Skip to content

Remove unused tail_uaa_log script#3785

Merged
duanemay merged 1 commit intodevelopfrom
remove_tail
Mar 16, 2026
Merged

Remove unused tail_uaa_log script#3785
duanemay merged 1 commit intodevelopfrom
remove_tail

Conversation

@duanemay
Copy link
Member

no longer needed after move to bootRun

no longer needed after move to bootRun
Copilot AI review requested due to automatic review settings March 16, 2026 21:24
Copy link
Contributor

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

This pull request removes the scripts/tail_uaa_log helper script from the repository, reducing the set of bundled developer utilities.

Changes:

  • Deleted the scripts/tail_uaa_log script that tailed the per-port uaa.log under ${TMPDIR}/uaa-${port}/logs/.

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

You can also share your feedback on Copilot code review. Take the survey.

@github-project-automation github-project-automation bot moved this from Inbox to Pending Merge | Prioritized in Foundational Infrastructure Working Group Mar 16, 2026
@duanemay duanemay merged commit 7860a43 into develop Mar 16, 2026
42 of 47 checks passed
@duanemay duanemay deleted the remove_tail branch March 16, 2026 22:43
@github-project-automation github-project-automation bot moved this from Pending Merge | Prioritized to Done in Foundational Infrastructure Working Group Mar 16, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Development

Successfully merging this pull request may close these issues.

3 participants