You are viewing a plain text version of this content. The canonical link for it is here.
Posted to commits@age.apache.org by "mohayu22 (via GitHub)" <gi...@apache.org> on 2023/04/20 00:35:58 UTC
[GitHub] [age] mohayu22 opened a new pull request, #823: Introduce age_pi and age_rand functions and related updates
mohayu22 opened a new pull request, #823:
URL: https://github.com/apache/age/pull/823
Resolved issue #791
- Added `age_pi` and `age_rand`
- Added new regression tests
--
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
To unsubscribe, e-mail: commits-unsubscribe@age.apache.org
For queries about this service, please contact Infrastructure at:
users@infra.apache.org
[GitHub] [age] jrgemignani commented on pull request #823: Introduce age_pi and age_rand functions and related updates
Posted by "jrgemignani (via GitHub)" <gi...@apache.org>.
jrgemignani commented on PR #823:
URL: https://github.com/apache/age/pull/823#issuecomment-1516793053
@mohayu22 Please update your commit description, the big box, to give a description of what was done and why. Make sure to conform to the archaic :) 80 columns per line of text.

--
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
To unsubscribe, e-mail: commits-unsubscribe@age.apache.org
For queries about this service, please contact Infrastructure at:
users@infra.apache.org
[GitHub] [age] mohayu22 commented on pull request #823: Introduce age_pi and age_rand functions and related updates
Posted by "mohayu22 (via GitHub)" <gi...@apache.org>.
mohayu22 commented on PR #823:
URL: https://github.com/apache/age/pull/823#issuecomment-1520889746
I have updated the PR description.
--
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
To unsubscribe, e-mail: commits-unsubscribe@age.apache.org
For queries about this service, please contact Infrastructure at:
users@infra.apache.org
[GitHub] [age] mohayu22 commented on pull request #823: Introduce age_pi and age_rand functions and related updates
Posted by "mohayu22 (via GitHub)" <gi...@apache.org>.
mohayu22 commented on PR #823:
URL: https://github.com/apache/age/pull/823#issuecomment-1520958138
@jrgemignani I have changed the commit messages.
--
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
To unsubscribe, e-mail: commits-unsubscribe@age.apache.org
For queries about this service, please contact Infrastructure at:
users@infra.apache.org
[GitHub] [age] jrgemignani merged pull request #823: Introduce age_pi and age_rand functions and related updates
Posted by "jrgemignani (via GitHub)" <gi...@apache.org>.
jrgemignani merged PR #823:
URL: https://github.com/apache/age/pull/823
--
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
To unsubscribe, e-mail: commits-unsubscribe@age.apache.org
For queries about this service, please contact Infrastructure at:
users@infra.apache.org
[GitHub] [age] jrgemignani commented on pull request #823: Introduce age_pi and age_rand functions and related updates
Posted by "jrgemignani (via GitHub)" <gi...@apache.org>.
jrgemignani commented on PR #823:
URL: https://github.com/apache/age/pull/823#issuecomment-1520891696

--
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
To unsubscribe, e-mail: commits-unsubscribe@age.apache.org
For queries about this service, please contact Infrastructure at:
users@infra.apache.org
[GitHub] [age] mohayu22 commented on pull request #823: Introduce age_pi and age_rand functions and related updates
Posted by "mohayu22 (via GitHub)" <gi...@apache.org>.
mohayu22 commented on PR #823:
URL: https://github.com/apache/age/pull/823#issuecomment-1520883813
@jrgemignani Done
--
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
To unsubscribe, e-mail: commits-unsubscribe@age.apache.org
For queries about this service, please contact Infrastructure at:
users@infra.apache.org
[GitHub] [age] jrgemignani commented on pull request #823: Introduce age_pi and age_rand functions and related updates
Posted by "jrgemignani (via GitHub)" <gi...@apache.org>.
jrgemignani commented on PR #823:
URL: https://github.com/apache/age/pull/823#issuecomment-1520887403
@mohayu22 It still shows the same for the commit description,...
--
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
To unsubscribe, e-mail: commits-unsubscribe@age.apache.org
For queries about this service, please contact Infrastructure at:
users@infra.apache.org