Travis: Initial formatting tests #322
pull luke-jr wants to merge 1 commits into bitcoin:master from luke-jr:travis changing 2 files +143 −0-
luke-jr commented at 10:10 pm on February 8, 2016: memberThis needs an admin to actually enable Travis…
-
luke-jr added the label enhancement on Feb 8, 2016
-
luke-jr assigned laanwj on Feb 8, 2016
-
laanwj commented at 0:29 am on February 9, 2016: memberI’ve enabled travis for this repository
-
luke-jr force-pushed on Feb 9, 2016
-
luke-jr force-pushed on Feb 9, 2016
-
luke-jr force-pushed on Feb 9, 2016
-
luke-jr force-pushed on Feb 9, 2016
-
luke-jr unassigned laanwj on Feb 9, 2016
-
luke-jr assigned luke-jr on Feb 9, 2016
-
luke-jr force-pushed on Feb 9, 2016
-
luke-jr force-pushed on Feb 9, 2016
-
Travis: Initial formatting tests ebf5c28988
-
luke-jr force-pushed on Feb 9, 2016
-
luke-jr referenced this in commit 3cc972c93e on Feb 9, 2016
-
luke-jr merged this on Feb 9, 2016
-
luke-jr closed this on Feb 9, 2016
-
MarcoFalke commented at 1:55 pm on February 9, 2016: memberI was planning this as well. Thanks for going forward. Do you think it makes sense to grep for the copyright section as well; Or even add another field for the copyright?
-
luke-jr commented at 8:19 pm on February 9, 2016: memberThat sounds reasonable to me, especially since it’s a common omission.
-
MarcoFalke commented at 6:11 pm on February 13, 2016: member
Or even add another field for the copyright?
Adding a field in the header would be the cleanest (and machine-readable) solution, imo. But this would require extending BIP 1?
-
luke-jr commented at 9:00 pm on February 13, 2016: memberIt should be sufficient to add it in BIP 2 IMO.
-
luke-jr deleted the branch on Apr 21, 2017
Labels
enhancement
github-metadata-mirror
This is a metadata mirror of the GitHub repository bitcoin/bips. This site is not affiliated with GitHub. Content is generated from a GitHub metadata backup.
generated: 2024-12-04 08:10 UTC
This is a metadata mirror of the GitHub repository bitcoin/bips. This site is not affiliated with GitHub. Content is generated from a GitHub metadata backup.
generated: 2024-12-04 08:10 UTC
This site is hosted by @0xB10C
More mirrored repositories can be found on mirror.b10c.me
More mirrored repositories can be found on mirror.b10c.me