Remove github.com references

* Travis and Coveralls badges
* aports: instead of <https://github.com/postmarketOS>, use
  <https://postmarketos.org>
* References to full URLs to issues and pull requests replaced with
  a hash and the number
* grsec check: simplify error message, remove link to github issue
  (nobody is using that anymore anyway)
This commit is contained in:
Oliver Smith 2018-06-30 09:00:48 +02:00
parent 256914c1a0
commit 0854aa1dc4
No known key found for this signature in database
GPG key ID: 5AE7F5513E0885CB
61 changed files with 63 additions and 75 deletions

View file

@ -61,8 +61,7 @@ def get_subpartitions_size(args):
# /dev/installp2
full = root - home
# Add some free space, see also:
# https://github.com/postmarketOS/pmbootstrap/pull/336
# Add some free space, see also: #336
full *= 1.20
full += 50 * 1024 * 1024
boot += 15 * 1024 * 1024