+24
−0
Loading
WARNING! Gitlab maintenance operation scheduled for Monday, 20 April between 12:00 and 14:00 (CET). During this time window, short service interruptions (less than 5 minutes) may occur. Thank you in advance for your understanding.
- Introduced `--full-metadata` flag to fetch complete TDoc metadata. - Added `--use-whatthespec` flag to prioritize fetching via WhatTheSpec API. - Updated `open_tdoc` and `checkout` functions to handle new flags. - Enhanced `maybe_fetch_missing_tdocs` to support new fetching methods. - Created a new module for centralized TDoc fetching logic. - Added tests for new CLI flags functionality.