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

Fix the License filename in headers #15477

Merged
merged 1 commit into from
Dec 22, 2022
Merged

Fix the License filename in headers #15477

merged 1 commit into from
Dec 22, 2022

Conversation

felladrin
Copy link
Contributor

@felladrin felladrin commented Dec 22, 2022 •
edited
Loading

Description

Fix the License filename in headers (License-AGPL.txt -> License.AGPL.txt)

Related Issue(s)

How to test

Check if there's only one line changed per file:

// See License.AGPL.txt in the project root for license information.

Release Notes

NONE

@felladrin felladrin requested review from a team December 22, 2022 10:14
@github-actions github-actions bot added team: IDE team: webapp Issue belongs to the WebApp team team: workspace Issue belongs to the Workspace team labels Dec 22, 2022
@felladrin felladrin changed the title Fix the License filename in headers (License-AGPL.txt -> License.AGPL.txt) Fix the License filename in headers Dec 22, 2022
AlexTugarev
AlexTugarev approved these changes Dec 22, 2022
View reviewed changes
Copy link
Member

@AlexTugarev AlexTugarev left a comment

Choose a reason for hiding this comment

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

LGTM

easyCZ
easyCZ approved these changes Dec 22, 2022
View reviewed changes
Copy link
Member

@easyCZ easyCZ left a comment

Choose a reason for hiding this comment

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

Renaming the License file would've been potentially a smaller change :)

@roboquat roboquat merged commit 119badc into main Dec 22, 2022
@roboquat roboquat deleted the felladrin/fix-license-filename-in-headers branch December 22, 2022 13:02
@roboquat roboquat added deployed: IDE IDE change is running in production deployed: webapp Meta team change is running in production deployed: workspace Workspace team change is running in production deployed Change is completely running in production labels Jan 4, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@AlexTugarev AlexTugarev AlexTugarev approved these changes

@easyCZ easyCZ easyCZ approved these changes

@akosyakov akosyakov akosyakov approved these changes

@jenting jenting jenting approved these changes

Assignees
No one assigned
Labels
deployed: IDE IDE change is running in production deployed: webapp Meta team change is running in production deployed: workspace Workspace team change is running in production deployed Change is completely running in production release-note-none size/M team: IDE team: webapp Issue belongs to the WebApp team team: workspace Issue belongs to the Workspace team
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
6 participants
@felladrin @AlexTugarev @easyCZ @akosyakov @jenting @roboquat