Search Options

Results per page
Sort
Preferred Languages
Advance

Results 11 - 13 of 13 for read_pet (0.03 sec)

  1. scripts/contributors.py

                    "url": author.url,
                }
        return users
    
    
    def update_content(*, content_path: Path, new_content: Any) -> bool:
        old_content = content_path.read_text(encoding="utf-8")
    
        new_content = yaml.dump(new_content, sort_keys=False, width=200, allow_unicode=True)
        if old_content == new_content:
            logging.info(f"The content hasn't changed for {content_path}")
    Registered: Sun Dec 28 07:19:09 UTC 2025
    - Last Modified: Tue Dec 16 12:34:01 UTC 2025
    - 8.6K bytes
    - Viewed (0)
  2. scripts/people.py

                users[user] = user_data
                users_list.append(user_data)
        return users_list
    
    
    def update_content(*, content_path: Path, new_content: Any) -> bool:
        old_content = content_path.read_text(encoding="utf-8")
    
        new_content = yaml.dump(new_content, sort_keys=False, width=200, allow_unicode=True)
        if old_content == new_content:
            logging.info(f"The content hasn't changed for {content_path}")
    Registered: Sun Dec 28 07:19:09 UTC 2025
    - Last Modified: Wed Dec 17 21:25:59 UTC 2025
    - 12.3K bytes
    - Viewed (0)
  3. scripts/notify_translations.py

        if not settings.github_event_path.is_file():
            raise RuntimeError(
                f"No github event file available at: {settings.github_event_path}"
            )
        contents = settings.github_event_path.read_text()
        github_event = PartialGitHubEvent.model_validate_json(contents)
        logging.info(f"Using GitHub event: {github_event}")
        number = (
            github_event.pull_request and github_event.pull_request.number
    Registered: Sun Dec 28 07:19:09 UTC 2025
    - Last Modified: Wed Dec 17 21:25:59 UTC 2025
    - 12.7K bytes
    - Viewed (0)
Back to top