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

Issue 136: Update index.rst #137

Merged
merged 1 commit into from
Apr 25, 2024
Merged

Issue 136: Update index.rst #137

merged 1 commit into from
Apr 25, 2024

Conversation

wmunyan
Copy link
Contributor

@wmunyan wmunyan commented Jul 24, 2023

@solind point oval board link correctly since CIS nuked the static site

point oval board link correctly since CIS nuked the static site
@wmunyan
Copy link
Contributor Author

wmunyan commented Aug 25, 2023

It's been over a month. Does anyone look at these anymore? Looking at you CIS....

@zport
Copy link
Contributor

zport commented Aug 25, 2023

Hey @wmunyan, sorry this hasn't gotten a response. Just sent it up the ladder to try to get it to the right person, I haven't had the permissions for this in a long time

@solind
Copy link

solind commented Oct 24, 2023

I have permissions... I just haven't logged into Github in forever! Should I just merge this? Maybe I'll ask permission Thursday at the board meeting.

@zport
Copy link
Contributor

zport commented Oct 24, 2023

@solind that seems like a good plan, I think Justin Burr @ CIS has been trying to get write permissions for this account so someone can handle the merge. If you've got those that's great.

@volk12 volk12 closed this Apr 25, 2024
@volk12 volk12 reopened this Apr 25, 2024
@volk12 volk12 merged commit d747d28 into OVAL-Community:master Apr 25, 2024
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.

4 participants