Declared github properties