merge opprop master with all_commits

Author: AndrewShf

.github/dependabot.yml

@@ -0,0 +1,11 @@
+version: 2
+updates:
+- package-ecosystem: gradle
+  directory: "/"
+  schedule:
+    interval: daily
+  open-pull-requests-limit: 10
+  ignore:
+  - dependency-name: junit:junit
+    versions:
+    - 4.13.1

README.md

@@ -1,6 +1,5 @@
 # Practical Immutability For Classes And Objects(PICO)
-[![build-status](https://travis-ci.org/opprop/immutability.svg?branch=master)](https://travis-ci.org/opprop/immutability)
+[![build-status](https://travis-ci.com/opprop/immutability.svg?branch=master)](https://travis-ci.com/opprop/immutability)
 
 
 PICO is a type system that supports class level and object level immutability based on Checker Framework.
-PICO is formalized in [clickme](https://github.com/topnessman/immutability-example/blob/master/Type_Rules.pdf).