Create Github Action to comment on PR while develop is frozen

[moniika]

The basics

• I branched from develop
• My pull request is against develop
• My code follows the style guide

The details

Resolves

#4971

Proposed Changes

Adds GitHub action to comment on new pull requests while develop is frozen.

Behavior After Change

While this workflow is enabled, new pull requests without the label 'ignore-freeze' is commented on to let the author know that they may experience a delay in getting a review.

Test Coverage

Not tested.

Additional Information

This workflow requires manual enabling/disabling to track when develop is frozen.

[moniika]

I also have a version that checks a date range, which would require updating the date range before develop freeze instead of enabling/disabling the workflow.

[gonfunko]

Am I reading the diff backward or is this going from no typo to typo?

[moniika]

whoops. Fixed.

[gonfunko]

I also have a version that checks a date range, which would require updating the date range before develop freeze instead of enabling/disabling the workflow.

I think enabling/disabling the workflow is easier and more reliable probably?

[moniika]

I also have a version that checks a date range, which would require updating the date range before develop freeze instead of enabling/disabling the workflow.

I think enabling/disabling the workflow is easier and more reliable probably?

I thought enable/disable seemed a bit more convenient, but I wanted to point out that a date range check is an option.