import requests


def is_arduino_library(repo):
    """Returns if the repo is an Arduino library, as determined by the existence of
    the 'library.properties' file.
    """
    lib_prop_file = requests.get(
        "https://raw.githubusercontent.com/adafruit/"
        + repo["name"]
        + "/master/library.properties"
    )
    return lib_prop_file.ok