[gentoo-dev] Github PR commenting policy

[Fernando Rodriguez]

Github allows editting of comments in pull requests. Is there a policy 
regarding that? I've noticed a comment disappear which makes the rest of the 
conversation seem out of place.


-- 
Fernando Rodriguez