如何在时间串中添加分钟？

import re
from datetime import datetime, timedelta

def add_minutes_to_time_string(time_string, minutes):
    # 使用正则表达式匹配时间串中的小时和分钟部分
    pattern = r'(\d{2}):(\d{2})'
    match = re.match(pattern, time_string)
    
    if match:
        # 将匹配到的小时和分钟部分转换为整数
        hours = int(match.group(1))
        mins = int(match.group(2))
        
        # 进行分钟的加法运算
        new_mins = mins + minutes
        
        # 处理进位
        new_hours = hours + new_mins // 60
        new_mins = new_mins % 60
        
        # 构造修改后的时间串
        new_time_string = f'{new_hours:02d}:{new_mins:02d}'
        
        return new_time_string
    else:
        # 时间串格式不正确，返回原时间串
        return time_string

# 示例用法
time_string = '09:30'
new_time_string = add_minutes_to_time_string(time_string, 15)
print(new_time_string)  # 输出：09:45