try to fix pr_info permission problem (#2621)
* try to fix pr_info permissions problem

* new safer pr_info
1 parent 3ea6bbe commit f7e594eb09a8f6cbddd0016d06912bb8a62a344c
@Jan Jurzitza Jan Jurzitza authored on 9 Mar 2023
GitHub committed on 9 Mar 2023
Showing 4 changed files
View
.github/workflows/pr_info.yml 100644 → 0
View
.github/workflows/pr_info_intro.yml 0 → 100644
View
.github/workflows/pr_info_post.yml 0 → 100644
View
.github/workflows/pr_info_untrusted.yml 0 → 100644