- From: Michael van Ouwerkerk <notifications@github.com>
- Date: Mon, 20 Apr 2015 04:25:49 -0700
- To: w3c/push-api <push-api@noreply.github.com>
Received on Monday, 20 April 2015 11:26:15 UTC
The feedback in general on this issue, and in in-person discussions, has lacked a clear consensus on which name to use, other than people agree that `hasPermission` is a poor name. I'll go with the middle road between compactness and verbosity and rename it to `getPermission`. --- Reply to this email directly or view it on GitHub: https://github.com/w3c/push-api/issues/136#issuecomment-94428019
Received on Monday, 20 April 2015 11:26:15 UTC