testing properties of github