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.

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

Add pull request permissions for reminder action #141

Merged
merged 2 commits into from
Jul 11, 2024
Merged

Add pull request permissions for reminder action #141

merged 2 commits into from
Jul 11, 2024

Conversation

stdavis
Copy link
Contributor

@stdavis stdavis commented Jul 10, 2024

@stdavis stdavis requested a review from a team as a code owner July 10, 2024 21:13
@stdavis stdavis requested review from richarddushime, DAKiersz and LukasWallrich and removed request for a team July 10, 2024 21:13
@LukasWallrich
Copy link
Contributor

This is needed to get the reminder action to work - and reminders would seem helpful to ensure issues don't go stale ...

@LukasWallrich LukasWallrich merged commit 17db01f into forrtproject:master Jul 11, 2024
2 checks passed
DAKiersz added a commit that referenced this pull request Jul 11, 2024
@stdavis stdavis deleted the patch-1 branch July 15, 2024 15:18
DAKiersz added a commit that referenced this pull request Jul 20, 2024
* add a laberer for PRs

* workflow dispatch

* spelling correction

* sync-labels to true

* pin version

* alphabetical order

* should use pull request for trigger; more perms

* modify configuration_path

* Updating Google Tag Manager script (#128)

* Updating Google Tag Manager script

* Updated Google measurement ID

* Add direct links to FReD shiny apps (#129)

* Add reminders for issues (#131)

* Add first version of German glossary and creation script (#133)

* Attempt to fix related links in glossary

* First attempt to add German glossary

* Fix related link generation

* Try related link fixing again

* Try to only include one language per sidebar

* Change main link to English version

* Move English into own folder / add German index

* Add language to glossary creation / make layout multilingual

* Next attempt to fix sidebar

* Restore list.html - changes no longer needed after folder refactoring

* Fix path for related links

* Fix URLs for related terms

* Remove hallucinated function

* Fix related link name processing

* And another link fix

* Continued rel link issues

* And more rel-link issues

* Add glossary language selection (#139)

* Add language selection

* Regenerate and rename glossary entries

* Restore German glossary index (#140)

* Restore German glossary index

* Fix filename

* Copy header to align index.mds

* Flaviotest (#142)

* fixing image caption

* Flavio, with Helena's supervision, tries to commit something to GH, on Replicaiton page

* Add pull request permissions for reminder action (#141)

Co-authored-by: Dominik Kiersz <[email protected]>

* rectify reminders (#144)

* target

---------

Co-authored-by: Bethan Iley <[email protected]>
Co-authored-by: Lukas Wallrich <[email protected]>
Co-authored-by: Flavio Azevedo <[email protected]>
Co-authored-by: Scott Davis <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants