-
Notifications
You must be signed in to change notification settings - Fork 6
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 posv
#22
Add posv
#22
Conversation
please tag if needed |
@9il Done. |
@9il BTW, WebFreak001 recommended that I ask for access to "Allow triggering manual updates" in code.dlang.org for some of these mir projects. |
I can deregister mir-stat from code dlang so you can register it yourself. Can I "Allow triggering manual updates" without deregistering for other packages? |
@9il I don't have an issue with that, but I would trust your judgement as to what is appropriate. I haven't done it myself, but if you log in to code.dlang.org and go into the package and select permissions there is an option to add a user and that's where the option to "Allow triggering manual updates" is. So you'd just add me there, select the box, and save and that should be it. There are other options too (might make sense to be an admin for mir-stat, but just the permission to trigger manual updates for some of the others). |
@jmh530 What is your username on code.dlang.org? |
jmh530 as well
…On Tue, Dec 5, 2023 at 11:13 PM Ilia Ki ***@***.***> wrote:
@jmh530 <https://github.com/jmh530> What is your username on
code.dlang.org?
—
Reply to this email directly, view it on GitHub
<#22 (comment)>,
or unsubscribe
<https://github.com/notifications/unsubscribe-auth/ADBFNSUNUW2RBEKRBML733TYH7WIFAVCNFSM6AAAAAA74QG5K6VHI2DSMVQWIX3LMV43OSLTON2WKQ3PNVWWK3TUHMYTQNBSGA2TKNBWGY>
.
You are receiving this because you were mentioned.Message ID:
***@***.***>
|
Cool, I have added all permissions for mir-stat and triggering permissions for core, algorithm, and ion. |
Thanks! |
@9il Maybe makes sense to add mir-blas, mir-lapack, mir-random as well. |
@9il ping |
done |
@9il Thanks! |
No description provided.