'pull to refresh' feature in SwiftUI - View it on GitHub