I think it's more helpful to give Github PR numbers than commit references in CHANGES.txt.  (The *most* useful commit reference would be the PR merge commit, but that's not available until after the PR is merged.)